Challenging Problems in Infinite-State Systems

Informations projet

INFSYS

N° de convention de subvention: 950398

DOI

10.3030/950398

Date de signature de la CE 11 Septembre 2020

Date de début 1 Mars 2021

Date de fin 28 Février 2026

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 340 406,00

Contribution de l’UE

€ 1 340 406,00

Coordonné par

UNIWERSYTET WARSZAWSKI
Poland

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (18)

Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality

Auteurs: Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Wegrzycki
Publié dans: Proceedings of ICALP B 2023, Numéro 261, 2023, Page(s) 131:1--131:20
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2023.131

Solvability of orbit-finite systems of linear equations

Auteurs: Arka Ghosh, Piotr Hofman, Sławomir Lasota
Publié dans: Proceedings of LICS 2022, 2022, Page(s) 11:1--11:13
Éditeur: ACM
DOI: 10.1145/3531130.3533333

Orbit-finite linear programming

Auteurs: Arka Ghosh, Piotr Hofman, Slawomir Lasota
Publié dans: Proceedings of LICS 2023, 2023
Éditeur: IEEE
DOI: 10.1109/lics56636.2023.10175799

Complexity of Spatial Games

Auteurs: Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda
Publié dans: Proceedings of FSTTCS 2022, Numéro 250, 2022, Page(s) 11:1 - 11:14
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2022.11

Multiplicity Problems on Algebraic Series and Context-Free Grammars

Auteurs: Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
Publié dans: Proceedings of LICS 2023, 2023
Éditeur: IEEE
DOI: 10.1109/lics56636.2023.10175707

Parikh Automata over Infinite Words

Auteurs: Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Publié dans: Proceedings of FSTTCS 2022, Numéro 250, 2022, Page(s) 40:1--40:20
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2022.40

Reachability in Vector Addition Systems is Ackermann-complete

Auteurs: Wojciech Czerwiński, Łukasz Orlikowski
Publié dans: Proceedings of FOCS 2022, 2021, Page(s) 1229--1240
Éditeur: IEEE
DOI: 10.1109/focs52979.2021.00120

The boundedness and zero isolation problems for weighted automata over nonnegative rationals

Auteurs: Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
Publié dans: Proceedings of LICS 2022, 2022, Page(s) 15:1--15:13
Éditeur: ACM
DOI: 10.1145/3531130.3533336

On Rational Recursive Sequences

Auteurs: Lorenzo Clemente, Maria Donten-Bury, Filip Mazowiecki, Michal Pilipczuk
Publié dans: Proceedings of STACS 2023, Numéro 254, 2023, Page(s) 24:1--24:21
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.stacs.2023.24

History-Deterministic Parikh Automata

Auteurs: Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Publié dans: Proceedings of CONCUR 2023, Numéro 279, 2023, Page(s) 31:1--31:16
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2023.31

The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)

Auteurs: Laure Daviaud, David Purser
Publié dans: Proceedings of LICS 2023, 2023
Éditeur: IEEE
DOI: 10.1109/lics56636.2023.10175798

Monus Semantics in Vector Addition Systems with States

Auteurs: Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche
Publié dans: Proceeding of CONCUR 2023, Numéro 279, 2023, Page(s) 10:1--10:18
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2023.10

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable

Auteurs: Wojciech Czerwiński, Piotr Hofman
Publié dans: Proceedings of CONCUR 2022, Numéro 243, 2022, Page(s) 16:1--16:22
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.concur.2022.16

Parikh Images of Register Automata

Auteurs: Slawomir Lasota, Mohnish Pattathurajan
Publié dans: Proceedings of FSTTCS 2021, Numéro 213, 2021, Page(s) 50:1 - 50:14
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2021.50

Fast Termination and Workflow Nets

Auteurs: Piotr Hofman, Filip Mazowiecki, Philip Offtermatt
Publié dans: Proceedings of CAV 2023, Numéro 13964, 2023, Page(s) 132--155
Éditeur: Springer
DOI: 10.1007/978-3-031-37706-8_7

Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes

Auteurs: Wojciech Czerwiński, Łukasz Orlikowski
Publié dans: Proceedings of LICS 2022, 2022, Page(s) 40:1--40:12
Éditeur: ACM
DOI: 10.1145/3531130.3533357

Involved VASS Zoo

Auteurs: Wojciech Czerwiński
Publié dans: Proceedings of CONCUR 2022, Numéro 243, 2022, Page(s) 5:1--5:13, ISBN 978-3-95977-246-4
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.concur.2022.5

Coverability in 2-VASS with One Unary Counter is in NP

Auteurs: Filip Mazowiecki, Henry Sinclair-Banks, Karol Węgrzycki
Publié dans: Proceedings of FoSSaCS 2023, Numéro 13992, 2023, Page(s) 196--217
Éditeur: Springer
DOI: 10.1007/978-3-031-30829-1_10