Qualitative reachability in stochastic BPA games

DOI10.1016/j.ic.2011.02.002zbMath1237.91035OpenAlexW2069791914MaRDI QIDQ719240

Antonín Kučera, Jan Obdržálek, Tomáš Brázdil, Václav Brožek

Publication date: 10 October 2011

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2009/1837/

Mathematics Subject Classification ID

Stochastic games, stochastic differential games (91A15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items (6)

Hyperplane separation technique for multidimensional mean-payoff games ⋮ Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes ⋮ Determinacy and optimal strategies in infinite-state stochastic reachability games ⋮ Recursive stochastic games with positive rewards ⋮ Unnamed Item ⋮ Qualitative analysis of concurrent mean-payoff games

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reachability in recursive Markov decision processes
• The complexity of stochastic games
• Model checking LTL with regular valuations for pushdown systems
• Quantitative solution of omega-regular games
• Finitely additive stochastic games with Borel measurable payoffs
• A lattice-theoretical fixpoint theorem and its applications
• Random walks with “back buttons” (extended abstract)
• Recursive Stochastic Games with Positive Rewards
• Process Algebra
• The determinacy of Blackwell games
• Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties
• Computer Science Logic
• Efficient Qualitative Analysis of Classes of Recursive Markov Decision Processes and Simple Stochastic Games
• Stochastic Games with Lossy Channels
• Automata, Languages and Programming
• Automata, Languages and Programming
• Recursive Concurrent Stochastic Games

This page was built for publication: Qualitative reachability in stochastic BPA games