2026-07-20T14:48:41Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4612 2024-03-06T10:26:11Z ddc:004 open_access

Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141) Esparza, Javier Finkel, Alain McKenzie, Pierre Ouaknine, Joel Infinite-State Systems Reachability Problems Formal Verification Well-Structured Transition Systems Counter Machines Vector Addition Systems Timed Systems This report documents the program and the outcomes of Dagstuhl Seminar 14141 "Reachability Problems for Infinite-State Systems", held from March 30th until April 4th, 2014. The seminar gathered 44 participants and the program consisted of 34 presentations. Participants were asked to contribute open questions prior and during the seminar. A list of these open questions appears in a separate section of the present report. This list generated collaborations among participants and gave rise to research publications solving (partially), for example, question 5.13, namely "what functions are computable by VASS?" Schloss Dagstuhl – Leibniz-Zentrum für Informatik Javier Esparza and Alain Finkel and Pierre McKenzie and Joel Ouaknine 2014 Is Part Of Dagstuhl Reports, Volume 4, Issue 3 (2014) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.4.3.153 urn:nbn:de:0030-drops-46121 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.153 eng https://creativecommons.org/licenses/by/3.0/legalcode