Small Strategies for Safety Games
From MaRDI portal
Publication:3172922
DOI10.1007/978-3-642-24372-1_22zbMath1348.68145OpenAlexW1886788709MaRDI QIDQ3172922
Publication date: 7 October 2011
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-642-24372-1_22
Computational learning theory (68Q32) Games involving graphs (91A43) Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Synthesising succinct strategies in safety games with an application to real-time scheduling, Down the Borel hierarchy: solving Muller games via safety games