Compositional strategy synthesis for stochastic games with multiple objectives
From MaRDI portal
Publication:1641028
DOI10.1016/j.ic.2017.09.010zbMath1395.68265OpenAlexW2414117530MaRDI QIDQ1641028
C. Wiltsche, Nicolas Basset, Marta Kwiatkowska
Publication date: 14 June 2018
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://ora.ox.ac.uk/objects/uuid:6feba82d-9205-407f-b456-7a103a38a929
Stochastic games, stochastic differential games (91A15) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)
Related Items (5)
Automatic verification of concurrent stochastic systems ⋮ Submixing and shift-invariant stochastic games ⋮ Verifying the Gaming Strategy of Self-learning Game by Using PRISM-Games ⋮ Multi-objective optimization of long-run average and total rewards ⋮ Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quantitative verification and strategy synthesis for stochastic games
- Compositional probabilistic verification through multi-objective model checking
- Switched PIOA: parallel composition via distributed scheduling
- Multi-objective infinite-horizon discounted Markov decision processes
- Positional strategies for mean payoff games
- Automatic verification of competitive stochastic systems
- Strategy synthesis for multi-dimensional quantitative objectives
- The complexity of multi-mean-payoff and multi-energy games
- On Stochastic Games with Multiple Objectives
- Synthesizing Efficient Controllers
- Generalized Mean-payoff and Energy Games
- Playing Stochastic Games Precisely
- Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
- Compositional Controller Synthesis for Stochastic Games
- Playing Extensive Form Games in Parallel
- Reachability Games on Extended Vector Addition Systems with States
- Multi-Objective Model Checking of Markov Decision Processes
- Quantitative Analysis under Fairness Constraints
- Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk)
- Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives
- Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
- Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives
- Pareto Curves for Probabilistic Model Checking
- Automated Verification and Strategy Synthesis for Probabilistic Systems
- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking
- Variations on the Stochastic Shortest Path Problem
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives
- Guaranteed performance regions in Markovian systems with competing decision makers
- Validation of Stochastic Systems
- PRISM-games: A Model Checker for Stochastic Multi-Player Games
- Strategy Composition in Compositional Games
- Markov Decision Processes with Multiple Objectives
- Probabilistic automata
- Assume-Guarantee Synthesis
- Stochastic Games
- Percentile queries in multi-dimensional Markov decision processes
This page was built for publication: Compositional strategy synthesis for stochastic games with multiple objectives
