Stochastic Games with Finitary Objectives

DOI10.1007/978-3-642-03816-7_4zbMath1250.68185OpenAlexW1504841338MaRDI QIDQ3182912

Florian Horn, Krishnendu Chatterjee, Thomas A. Henzinger

Publication date: 16 October 2009

Published in: Mathematical Foundations of Computer Science 2009 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03816-7_4

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Stochastic games, stochastic differential games (91A15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Code aware resource management

Cites Work

• Unnamed Item
• Borel determinacy
• Dicing on the Streett
• Concurrent games with tail objectives
• Finitary winning in ω-regular games
• Explicit Muller Games are PTIME
• The determinacy of Blackwell games
• Foundations of Software Science and Computation Structures
• Automata, Languages and Programming
• Faster Algorithms for Finitary Games
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Stochastic Games with Finitary Objectives