Quantitative solution of omega-regular games380872
From MaRDI portal
Publication:5176026
DOI10.1145/380752.380871zbMath1323.68417MaRDI QIDQ5176026
Luca de Alfaro, Rupak Majumdar
Publication date: 27 February 2015
Published in: Proceedings of the thirty-third annual ACM symposium on Theory of computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/380752.380871
91A05: 2-person games
68Q45: Formal languages and automata
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A survey of stochastic \(\omega \)-regular games, Multi-valued model checking games, Concurrent games with tail objectives, Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games, Graph Games and Reactive Synthesis
Cites Work