Stochastic Games with Finitary Objectives

DOI10.1007/978-3-642-03816-7_4MaRDI QIDQ3182912zbMATH OpenOpenAlexFDO

Authors Krishnendu Chatterjee, Florian Horn, 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) Specification and verification (program logics, model checking, etc.) (68Q60) Stochastic games, stochastic differential games (91A15)

Recommendations

• scientific article; zbMATH DE number 4025193
• scientific article; zbMATH DE number 5866301
• Stochastic Games
• scientific article; zbMATH DE number 2067951
• scientific article; zbMATH DE number 18898
• Stochastic games
• Stochastic games
• Stochastic games
• scientific article; zbMATH DE number 4106652
• scientific article; zbMATH DE number 18887

Cites work

• Automata, Languages and Programming
• Borel determinacy
• Concurrent games with tail objectives
• Dicing on the Streett
• Explicit Muller games are PTIME
• Faster Algorithms for Finitary Games
• Finitary winning in \({\omega}\)-regular games
• Foundations of Software Science and Computation Structures
• Quantitative stochastic parity games
• The determinacy of Blackwell games
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(18)

• Stochastic games with lexicographic reachability-safety objectives
• Code aware resource management
• Playing stochastic games precisely
• Finitary winning in \({\omega}\)-regular games
• Turn-based stochastic games
• Perfect-information stochastic games with generalized mean-payoff objectives
• Life is random, time is not: Markov decision processes with window objectives
• Strategy synthesis for stochastic games with multiple long-run objectives
• Perfect-information stochastic mean-payoff parity games
• Faster Algorithms for Finitary Games
• Life is random, time is not: Markov decision processes with window objectives
• Tools and Algorithms for the Construction and Analysis of Systems
• A direct symbolic algorithm for solving stochastic Rabin games
• Stochastic window mean-payoff games
• Stochastic games with disjunctions of multiple objectives
• Finitely additive and measurable stochastic games
• Stochastic window mean-payoff games
• Expectation in stochastic games with prefix-independent objectives

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3182912)