Optimal Strategy Synthesis in Stochastic Müller Games

DOI10.1007/978-3-540-71389-0_11zbMath1195.68065OpenAlexW2151831839MaRDI QIDQ5758043

Krishnendu Chatterjee

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Games on graphs (graph-theoretic aspects) (05C57) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

A survey of stochastic \(\omega \)-regular games ⋮ The complexity of stochastic Müller games ⋮ Stochastic Müller Games are PSPACE-Complete

This page was built for publication: Optimal Strategy Synthesis in Stochastic Müller Games