Challenging Problems in Infinite-State Systems

Informacje na temat projektu

INFSYS

Identyfikator umowy o grant: 950398

DOI 10.3030/950398

Data podpisania przez KE 11 Września 2020

Data rozpoczęcia 1 Marca 2021

Data zakończenia 28 Lutego 2026

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity € 1 340 406,00

Wkład UE € 1 340 406,00

Koordynowany przez

UNIWERSYTET WARSZAWSKI
Poland

Publikacje

Conference proceedings (18)

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

Autorzy: Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Wegrzycki
Opublikowane w: Proceedings of ICALP B 2023, Numer 261, 2023, Strona(/y) 131:1--131:20
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2023.131

Solvability of orbit-finite systems of linear equations

Autorzy: Arka Ghosh, Piotr Hofman, Sławomir Lasota
Opublikowane w: Proceedings of LICS 2022, 2022, Strona(/y) 11:1--11:13
Wydawca: ACM
DOI: 10.1145/3531130.3533333

Orbit-finite linear programming

Autorzy: Arka Ghosh, Piotr Hofman, Slawomir Lasota
Opublikowane w: Proceedings of LICS 2023, 2023
Wydawca: IEEE
DOI: 10.1109/lics56636.2023.10175799

Complexity of Spatial Games

Autorzy: Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda
Opublikowane w: Proceedings of FSTTCS 2022, Numer 250, 2022, Strona(/y) 11:1 - 11:14
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2022.11

Multiplicity Problems on Algebraic Series and Context-Free Grammars

Autorzy: Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
Opublikowane w: Proceedings of LICS 2023, 2023
Wydawca: IEEE
DOI: 10.1109/lics56636.2023.10175707

Parikh Automata over Infinite Words

Autorzy: Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Opublikowane w: Proceedings of FSTTCS 2022, Numer 250, 2022, Strona(/y) 40:1--40:20
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2022.40

Reachability in Vector Addition Systems is Ackermann-complete

Autorzy: Wojciech Czerwiński, Łukasz Orlikowski
Opublikowane w: Proceedings of FOCS 2022, 2021, Strona(/y) 1229--1240
Wydawca: IEEE
DOI: 10.1109/focs52979.2021.00120

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

Autorzy: Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
Opublikowane w: Proceedings of LICS 2022, 2022, Strona(/y) 15:1--15:13
Wydawca: ACM
DOI: 10.1145/3531130.3533336

On Rational Recursive Sequences

Autorzy: Lorenzo Clemente, Maria Donten-Bury, Filip Mazowiecki, Michal Pilipczuk
Opublikowane w: Proceedings of STACS 2023, Numer 254, 2023, Strona(/y) 24:1--24:21
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.stacs.2023.24

History-Deterministic Parikh Automata

Autorzy: Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Opublikowane w: Proceedings of CONCUR 2023, Numer 279, 2023, Strona(/y) 31:1--31:16
Wydawca: 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)

Autorzy: Laure Daviaud, David Purser
Opublikowane w: Proceedings of LICS 2023, 2023
Wydawca: IEEE
DOI: 10.1109/lics56636.2023.10175798

Monus Semantics in Vector Addition Systems with States

Autorzy: Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche
Opublikowane w: Proceeding of CONCUR 2023, Numer 279, 2023, Strona(/y) 10:1--10:18
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2023.10

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable

Autorzy: Wojciech Czerwiński, Piotr Hofman
Opublikowane w: Proceedings of CONCUR 2022, Numer 243, 2022, Strona(/y) 16:1--16:22
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.concur.2022.16

Parikh Images of Register Automata

Autorzy: Slawomir Lasota, Mohnish Pattathurajan
Opublikowane w: Proceedings of FSTTCS 2021, Numer 213, 2021, Strona(/y) 50:1 - 50:14
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2021.50

Fast Termination and Workflow Nets

Autorzy: Piotr Hofman, Filip Mazowiecki, Philip Offtermatt
Opublikowane w: Proceedings of CAV 2023, Numer 13964, 2023, Strona(/y) 132--155
Wydawca: Springer
DOI: 10.1007/978-3-031-37706-8_7

Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes

Autorzy: Wojciech Czerwiński, Łukasz Orlikowski
Opublikowane w: Proceedings of LICS 2022, 2022, Strona(/y) 40:1--40:12
Wydawca: ACM
DOI: 10.1145/3531130.3533357

Involved VASS Zoo

Autorzy: Wojciech Czerwiński
Opublikowane w: Proceedings of CONCUR 2022, Numer 243, 2022, Strona(/y) 5:1--5:13, ISBN 978-3-95977-246-4
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.concur.2022.5

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

Autorzy: Filip Mazowiecki, Henry Sinclair-Banks, Karol Węgrzycki
Opublikowane w: Proceedings of FoSSaCS 2023, Numer 13992, 2023, Strona(/y) 196--217
Wydawca: Springer
DOI: 10.1007/978-3-031-30829-1_10