Playing Stochastic Games Precisely

DOI10.1007/978-3-642-32940-1_25zbMath1364.91024OpenAlexW2166834911MaRDI QIDQ2912689

Michael Ummels, Vojtěch Forejt, Taolue Chen, Ashutosh Trivedi, Marta Kwiatkowska, Aistis Simaitis

Publication date: 25 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32940-1_25

Mathematics Subject Classification ID

2-person games (91A05) Synthesis problems (93B50) Stochastic games, stochastic differential games (91A15)

Related Items (3)

Compositional strategy synthesis for stochastic games with multiple objectives ⋮ Quantitative verification and strategy synthesis for stochastic games ⋮ Unnamed Item

This page was built for publication: Playing Stochastic Games Precisely