Optimal Strategy Synthesis in Stochastic Müller Games
From MaRDI portal
Publication:5758043
DOI10.1007/978-3-540-71389-0_11zbMath1195.68065MaRDI QIDQ5758043
Publication date: 7 September 2007
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71389-0_11
68Q60: Specification and verification (program logics, model checking, etc.)
05C57: Games on graphs (graph-theoretic aspects)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Stochastic Müller Games are PSPACE-Complete, A survey of stochastic \(\omega \)-regular games, The complexity of stochastic Müller games