Strategy Improvement for Stochastic Rabin and Streett Games

DOI10.1007/11817949_25zbMath1151.68474OpenAlexW1587759028MaRDI QIDQ5756613

Krishnendu Chatterjee, Thomas A. Henzinger

Publication date: 4 September 2007

Published in: CONCUR 2006 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11817949_25

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Stochastic games, stochastic differential games (91A15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Quantitative verification and strategy synthesis for stochastic games ⋮ A survey of stochastic \(\omega \)-regular games ⋮ Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games

This page was built for publication: Strategy Improvement for Stochastic Rabin and Streett Games