Round-bounded control of parameterized systems

DOI10.1007/978-3-030-01090-4_22zbMath1517.68257OpenAlexW2893221311MaRDI QIDQ6109599

Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder

Publication date: 28 July 2023

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-01090-4_22

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)