HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Round-Bounded Control of Parameterized Systems

Abstract : We consider systems with unboundedly many processes that communicate through shared memory. In that context, simple verification questions have a high complexity or, in the case of pushdown processes , are even undecidable. Good algorithmic properties are recovered under round-bounded verification, which restricts the system behavior to a bounded number of round-robin schedules. In this paper, we extend this approach to a game-based setting. This allows one to solve synthesis and control problems and constitutes a further step towards a theory of languages over infinite alphabets.
Document type :
Conference papers
Complete list of metadata

Cited literature [46 references]  Display  Hide  Download

Contributor : Benedikt Bollig Connect in order to contact the contributor
Submitted on : Monday, March 11, 2019 - 10:47:56 AM
Last modification on : Tuesday, January 4, 2022 - 3:55:37 AM
Long-term archiving on: : Wednesday, June 12, 2019 - 1:35:20 PM


Files produced by the author(s)



Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder. Round-Bounded Control of Parameterized Systems. 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Oct 2018, Los Angeles, California, United States. pp.370-386, ⟨10.1007/978-3-030-01090-4_22⟩. ⟨hal-01849206⟩



Record views


Files downloads