Qualitative reachability in stochastic BPA games
From MaRDI portal
Publication:719240
DOI10.1016/j.ic.2011.02.002zbMath1237.91035MaRDI 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/
91A15: Stochastic games, stochastic differential games
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)
Related Items
Unnamed Item, Determinacy and optimal strategies in infinite-state stochastic reachability games, Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes, Qualitative analysis of concurrent mean-payoff games, Hyperplane separation technique for multidimensional mean-payoff games, Recursive stochastic games with positive rewards
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