Quantitative verification and strategy synthesis for stochastic games
From MaRDI portal
Publication:328165
DOI10.1016/J.EJCON.2016.04.009zbMATH Open1347.93240OpenAlexW2356671789MaRDI QIDQ328165FDOQ328165
Authors: Mária Svoreňová, Marta Kwiatkowska 
Publication date: 20 October 2016
Published in: European Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ejcon.2016.04.009
Recommendations
- Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk)
- Automatic verification of concurrent stochastic systems
- Automated Verification of Concurrent Stochastic Games
- Automatic verification of competitive stochastic systems
- PRISM-games: a model checker for stochastic multi-player games
stochastic gamestemporal logiccontroller synthesismulti-objective propertiesquantitative verification
Multi-objective and goal programming (90C29) Stochastic games, stochastic differential games (91A15) Synthesis problems (93B50) Stochastic systems in control theory (general) (93E03)
Cites Work
- PRISM-games: a model checker for stochastic multi-player games
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
- The complexity of stochastic games
- Stochastic Games
- The Complexity of Markov Decision Processes
- Probabilistic automata
- Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games
- Continuous-time stochastic games with time-bounded reachability
- Title not available (Why is that?)
- A survey of stochastic \(\omega \)-regular games
- The determinacy of Blackwell games
- Title not available (Why is that?)
- Model checking of probabilistic and nondeterministic systems
- Robust Control of Markov Decision Processes with Uncertain Transition Matrices
- The complexity of partial-observation stochastic parity games with finite-memory strategies
- Value Iteration
- Expected reachability-time games
- Reachability in Stochastic Timed Games
- Title not available (Why is that?)
- Quantitative multi-objective verification for probabilistic systems
- A subexponential randomized algorithm for the simple stochastic game problem
- A survey of partial-observation stochastic parity games
- On stochastic games with multiple objectives
- Comparison of LTL to Deterministic Rabin Automata Translators
- Multi-objective discounted reward verification in graphs and MDPs
- Automatic verification of competitive stochastic systems
- Parityizing Rabin and Streett
- Playing stochastic games precisely
- Formal Verification and Synthesis for Discrete-Time Stochastic Systems
- QUASY: quantitative synthesis tool
- Compositional controller synthesis for stochastic games
- The complexity of Nash equilibria in stochastic multiplayer games
- Stochastic games with imperfect monitoring
- A pumping algorithm for ergodic stochastic mean payoff games with perfect information
- The complexity of solving stochastic games on graphs
- Compositional probabilistic verification through multi-objective model checking
- Automated verification and strategy synthesis for probabilistic systems
- Partial-observation stochastic games, how to win when belief fails
- Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games
- Quantitative stochastic parity games
- Stochastic Games with Perfect Information and Time Average Payoff
- Automata, Languages and Programming
- Strategy Improvement for Stochastic Rabin and Streett Games
- Recursive Concurrent Stochastic Games
Cited In (21)
- Playing Against Fair Adversaries in Stochastic Games with Total Rewards
- Comparison of algorithms for simple stochastic games
- Comparison of algorithms for simple stochastic games
- Automated Verification of Concurrent Stochastic Games
- Symbolic verification and strategy synthesis for turn-based stochastic games
- Optimistic and topological value iteration for simple stochastic games
- A simple algorithm for solving qualitative probabilistic parity games
- A Game-Theoretic Approach to Simulation of Data-Parameterized Systems
- Compositional strategy synthesis for stochastic games with multiple objectives
- Games, Time, and Probability: Graph Models for System Design and Analysis
- Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk)
- Automatic verification of concurrent stochastic systems
- Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
- Security-aware synthesis using delayed-action games
- Stochastic games with lexicographic objectives
- Verifying the gaming strategy of self-learning game by using PRISM-games
- Verification of multiplayer stochastic games via abstract dependency graphs
- Value iteration for simple stochastic games: stopping criterion and learning algorithm
- PRISM-games: a model checker for stochastic multi-player games
- Automatic verification of competitive stochastic systems
- Verification and Control of Turn-Based Probabilistic Real-Time Games
Uses Software
This page was built for publication: Quantitative verification and strategy synthesis for stochastic games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q328165)
