Challenging Problems in Infinite-State Systems

Informazioni relative al progetto

INFSYS

ID dell’accordo di sovvenzione: 950398

DOI

10.3030/950398

Data della firma CE 11 Settembre 2020

Data di avvio 1 Marzo 2021

Data di completamento 28 Febbraio 2026

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 1 340 406,00

Contributo UE

€ 1 340 406,00

Coordinato da

UNIWERSYTET WARSZAWSKI
Poland

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (18)

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

Autori: Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Wegrzycki
Pubblicato in: Proceedings of ICALP B 2023, Numero 261, 2023, Pagina/e 131:1--131:20
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2023.131

Solvability of orbit-finite systems of linear equations

Autori: Arka Ghosh, Piotr Hofman, Sławomir Lasota
Pubblicato in: Proceedings of LICS 2022, 2022, Pagina/e 11:1--11:13
Editore: ACM
DOI: 10.1145/3531130.3533333

Orbit-finite linear programming

Autori: Arka Ghosh, Piotr Hofman, Slawomir Lasota
Pubblicato in: Proceedings of LICS 2023, 2023
Editore: IEEE
DOI: 10.1109/lics56636.2023.10175799

Complexity of Spatial Games

Autori: Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda
Pubblicato in: Proceedings of FSTTCS 2022, Numero 250, 2022, Pagina/e 11:1 - 11:14
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2022.11

Multiplicity Problems on Algebraic Series and Context-Free Grammars

Autori: Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
Pubblicato in: Proceedings of LICS 2023, 2023
Editore: IEEE
DOI: 10.1109/lics56636.2023.10175707

Parikh Automata over Infinite Words

Autori: Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Pubblicato in: Proceedings of FSTTCS 2022, Numero 250, 2022, Pagina/e 40:1--40:20
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2022.40

Reachability in Vector Addition Systems is Ackermann-complete

Autori: Wojciech Czerwiński, Łukasz Orlikowski
Pubblicato in: Proceedings of FOCS 2022, 2021, Pagina/e 1229--1240
Editore: IEEE
DOI: 10.1109/focs52979.2021.00120

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

Autori: Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
Pubblicato in: Proceedings of LICS 2022, 2022, Pagina/e 15:1--15:13
Editore: ACM
DOI: 10.1145/3531130.3533336

On Rational Recursive Sequences

Autori: Lorenzo Clemente, Maria Donten-Bury, Filip Mazowiecki, Michal Pilipczuk
Pubblicato in: Proceedings of STACS 2023, Numero 254, 2023, Pagina/e 24:1--24:21
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.stacs.2023.24

History-Deterministic Parikh Automata

Autori: Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Pubblicato in: Proceedings of CONCUR 2023, Numero 279, 2023, Pagina/e 31:1--31:16
Editore: 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)

Autori: Laure Daviaud, David Purser
Pubblicato in: Proceedings of LICS 2023, 2023
Editore: IEEE
DOI: 10.1109/lics56636.2023.10175798

Monus Semantics in Vector Addition Systems with States

Autori: Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche
Pubblicato in: Proceeding of CONCUR 2023, Numero 279, 2023, Pagina/e 10:1--10:18
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2023.10

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable

Autori: Wojciech Czerwiński, Piotr Hofman
Pubblicato in: Proceedings of CONCUR 2022, Numero 243, 2022, Pagina/e 16:1--16:22
Editore: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.concur.2022.16

Parikh Images of Register Automata

Autori: Slawomir Lasota, Mohnish Pattathurajan
Pubblicato in: Proceedings of FSTTCS 2021, Numero 213, 2021, Pagina/e 50:1 - 50:14
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2021.50

Fast Termination and Workflow Nets

Autori: Piotr Hofman, Filip Mazowiecki, Philip Offtermatt
Pubblicato in: Proceedings of CAV 2023, Numero 13964, 2023, Pagina/e 132--155
Editore: Springer
DOI: 10.1007/978-3-031-37706-8_7

Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes

Autori: Wojciech Czerwiński, Łukasz Orlikowski
Pubblicato in: Proceedings of LICS 2022, 2022, Pagina/e 40:1--40:12
Editore: ACM
DOI: 10.1145/3531130.3533357

Involved VASS Zoo

Autori: Wojciech Czerwiński
Pubblicato in: Proceedings of CONCUR 2022, Numero 243, 2022, Pagina/e 5:1--5:13, ISBN 978-3-95977-246-4
Editore: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.concur.2022.5

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

Autori: Filip Mazowiecki, Henry Sinclair-Banks, Karol Węgrzycki
Pubblicato in: Proceedings of FoSSaCS 2023, Numero 13992, 2023, Pagina/e 196--217
Editore: Springer
DOI: 10.1007/978-3-031-30829-1_10