Perfect Information Stochastic Priority Games

DOI10.1007/978-3-540-73420-8_73zbMath1171.91315OpenAlexW1480889453MaRDI QIDQ5428864

Hugo Gimbert, Wiesław Zielonka

Publication date: 28 November 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73420-8_73

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Stochastic games, stochastic differential games (91A15)

Related Items (3)

The mu-calculus and Model Checking ⋮ Submixing and shift-invariant stochastic games ⋮ Model checking games for the quantitative \(\mu \)-calculus

This page was built for publication: Perfect Information Stochastic Priority Games