Skip to main content

Challenging Problems in Infinite-State Systems

Searching for OpenAIRE data...

Publications

Solvability of orbit-finite systems of linear equations

Author(s): Arka Ghosh, Piotr Hofman, Sławomir Lasota
Published in: (LICS) '22: 37th Annual (ACM/IEEE) Symposium on Logic in Computer Science, 2022, Page(s) 11:1--11:13
Publisher: ACM
DOI: 10.1145/3531130.3533333

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

Author(s): Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
Published in: LICS '22: 37th Annual (ACM/IEEE) Symposium on Logic in Computer Science, 2022, Page(s) 15:1--15:13
Publisher: ACM
DOI: 10.1145/3531130.3533336

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable

Author(s): Wojciech Czerwiński, Piotr Hofman
Published in: 33rd International Conference on Concurrency Theory, CONCUR 2022, 2022, Page(s) 16:1--16:22
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.concur.2022.16

Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes

Author(s): Wojciech Czerwiński, Łukasz Orlikowski
Published in: LICS '22: 37th Annual (ACM/IEEE) Symposium on Logic in Computer Science, 2022, Page(s) 40:1--40:12
Publisher: ACM
DOI: 10.1145/3531130.3533357

Involved VASS Zoo

Author(s): Wojciech Czerwiński
Published in: 33rd International Conference on Concurrency Theory (CONCUR 2022), 2022, Page(s) 5:1--5:13, ISBN 978-3-95977-246-4
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.concur.2022.5