Challenging Problems in Infinite-State Systems

Información del proyecto

INFSYS

Identificador del acuerdo de subvención: 950398

DOI

10.3030/950398

Fecha de la firma de la CE 11 Septiembre 2020

Fecha de inicio 1 Marzo 2021

Fecha de finalización 28 Febrero 2026

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 340 406,00

Aportación de la UE

€ 1 340 406,00

Coordinado por

UNIWERSYTET WARSZAWSKI
Poland

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (18)

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

Autores: Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Wegrzycki
Publicado en: Proceedings of ICALP B 2023, Edición 261, 2023, Página(s) 131:1--131:20
Editor: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2023.131

Solvability of orbit-finite systems of linear equations

Autores: Arka Ghosh, Piotr Hofman, Sławomir Lasota
Publicado en: Proceedings of LICS 2022, 2022, Página(s) 11:1--11:13
Editor: ACM
DOI: 10.1145/3531130.3533333

Orbit-finite linear programming

Autores: Arka Ghosh, Piotr Hofman, Slawomir Lasota
Publicado en: Proceedings of LICS 2023, 2023
Editor: IEEE
DOI: 10.1109/lics56636.2023.10175799

Complexity of Spatial Games

Autores: Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda
Publicado en: Proceedings of FSTTCS 2022, Edición 250, 2022, Página(s) 11:1 - 11:14
Editor: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2022.11

Multiplicity Problems on Algebraic Series and Context-Free Grammars

Autores: Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
Publicado en: Proceedings of LICS 2023, 2023
Editor: IEEE
DOI: 10.1109/lics56636.2023.10175707

Parikh Automata over Infinite Words

Autores: Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Publicado en: Proceedings of FSTTCS 2022, Edición 250, 2022, Página(s) 40:1--40:20
Editor: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2022.40

Reachability in Vector Addition Systems is Ackermann-complete

Autores: Wojciech Czerwiński, Łukasz Orlikowski
Publicado en: Proceedings of FOCS 2022, 2021, Página(s) 1229--1240
Editor: IEEE
DOI: 10.1109/focs52979.2021.00120

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

Autores: Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
Publicado en: Proceedings of LICS 2022, 2022, Página(s) 15:1--15:13
Editor: ACM
DOI: 10.1145/3531130.3533336

On Rational Recursive Sequences

Autores: Lorenzo Clemente, Maria Donten-Bury, Filip Mazowiecki, Michal Pilipczuk
Publicado en: Proceedings of STACS 2023, Edición 254, 2023, Página(s) 24:1--24:21
Editor: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.stacs.2023.24

History-Deterministic Parikh Automata

Autores: Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Publicado en: Proceedings of CONCUR 2023, Edición 279, 2023, Página(s) 31:1--31:16
Editor: 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)

Autores: Laure Daviaud, David Purser
Publicado en: Proceedings of LICS 2023, 2023
Editor: IEEE
DOI: 10.1109/lics56636.2023.10175798

Monus Semantics in Vector Addition Systems with States

Autores: Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche
Publicado en: Proceeding of CONCUR 2023, Edición 279, 2023, Página(s) 10:1--10:18
Editor: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2023.10

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable

Autores: Wojciech Czerwiński, Piotr Hofman
Publicado en: Proceedings of CONCUR 2022, Edición 243, 2022, Página(s) 16:1--16:22
Editor: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.concur.2022.16

Parikh Images of Register Automata

Autores: Slawomir Lasota, Mohnish Pattathurajan
Publicado en: Proceedings of FSTTCS 2021, Edición 213, 2021, Página(s) 50:1 - 50:14
Editor: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2021.50

Fast Termination and Workflow Nets

Autores: Piotr Hofman, Filip Mazowiecki, Philip Offtermatt
Publicado en: Proceedings of CAV 2023, Edición 13964, 2023, Página(s) 132--155
Editor: Springer
DOI: 10.1007/978-3-031-37706-8_7

Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes

Autores: Wojciech Czerwiński, Łukasz Orlikowski
Publicado en: Proceedings of LICS 2022, 2022, Página(s) 40:1--40:12
Editor: ACM
DOI: 10.1145/3531130.3533357

Involved VASS Zoo

Autores: Wojciech Czerwiński
Publicado en: Proceedings of CONCUR 2022, Edición 243, 2022, Página(s) 5:1--5:13, ISBN 978-3-95977-246-4
Editor: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.concur.2022.5

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

Autores: Filip Mazowiecki, Henry Sinclair-Banks, Karol Węgrzycki
Publicado en: Proceedings of FoSSaCS 2023, Edición 13992, 2023, Página(s) 196--217
Editor: Springer
DOI: 10.1007/978-3-031-30829-1_10