Finite-state abstractions of infinite-state systems

Project Information

FINABIS

Grant agreement ID: 101077902

DOI 10.3030/101077902

EC signature date 20 December 2022

Start date 1 January 2023

End date 31 December 2027

Funded under

• European Research Council (ERC)

Total cost € 1 482 500,00

EU contribution € 1 482 500,00

Coordinated by

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Publications

Conference proceedings (14)

Directed Regular and Context-Free Languages

Author(s): Ganardi, M.; Sağlam, I.; Zetzsche, G.
Published in: Proc. of STACS 2024, 2024
Publisher: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.STACS.2024.36

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective

Author(s): Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Published in: Proc. of NeurIPS 2024, 2024
Publisher: NeurIPS

Slice closures of indexed languages and word equations with counting constraints

Author(s): Laura Ciobanu; Georg Zetzsche
Published in: Proc. of LICS 2024, 2024
Publisher: ACM
DOI: 10.1145/3661814.3662134

Priority Downward Closures

Author(s): Anand, A.; Zetzsche, G.
Published in: Proc. of CONCUR 2023, 2023
Publisher: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.CONCUR.2023.39

Context-Bounded Analysis of Concurrent Programs (Invited Talk)

Author(s): Baumann, Pascal; Ganardi, Moses; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
Published in: Proc. of ICALP 2023, 2023
Publisher: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2023.3

Regular Separability in Büchi VASS

Author(s): Baumann, P.; Meyer, R.; Zetzsche, G.
Published in: Proc. of STACS 2023, 2023
Publisher: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.STACS.2023.9

Unboundedness Problems for Machines with Reversal-Bounded Counters

Author(s): Pascal Baumann; Flavio D’Alessandro; Moses Ganardi; Oscar Ibarra; Ian McQuillan; Lia Schütze; Georg Zetzsche
Published in: Proc. of FoSSaCS 2023, 2023
Publisher: Springer, Cham
DOI: 10.1007/978-3-031-30829-1_12

Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities

Author(s): Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche
Published in: Proc. of ICALP 2024, 2024
Publisher: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2024.126

Regular Separators for VASS Coverability Languages

Author(s): Köcher, Chris; Zetzsche, Georg
Published in: Proc. of FSTTCS 2023, 2023
Publisher: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.FSTTCS.2023.15

An Efficient Quantifier Elimination Procedure for Presburger Arithmetic

Author(s): Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
Published in: Proc. of ICALP 2024, 2024
Publisher: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2024.142

Reachability in Continuous Pushdown VASS

Author(s): A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Published in: Proceedings of the ACM on Programming Languages, Issue 8, 2024, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3633279

Ramsey Quantifiers in Linear Arithmetics

Author(s): Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
Published in: Proceedings of the ACM on Programming Languages, Issue 8, 2024, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3632843

Checking Refinement of Asynchronous Programs against Context-Free Specifications

Author(s): Baumann, P.; Ganardi, M.; Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.
Published in: Proc. of ICALP 2023, 2023
Publisher: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2023.110

Verifying Unboundedness via Amalgamation

Author(s): Ashwani Anand; Sylvain Schmitz; Lia Schütze; Georg Zetzsche
Published in: Proc. of LICS 2024, 2024
Publisher: ACM
DOI: 10.1145/3661814.3662133