On Stochastic Games with Multiple Objectives

On Stochastic Games with Multiple Objectives

We study two-player stochastic games, where the goal of one player is to satisfy a formula given as a boolean combination of expected total reward objectives and the behaviour of the second player is adversarial. Such games are important for modelling, synthesis and veri cation of open systems with...

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs:	Chen, T, Forejt, V, Kwiatkowska, M, Simaitis, A, Wiltsche, C
Formaat:	Report
Gepubliceerd in:	DCS 2013

Gelijkaardige items

Compositional strategy synthesis for stochastic games with multiple objectives
door: Basset, N, et al.
Gepubliceerd in: (2017)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
door: Kwiatkowska, M, et al.
Gepubliceerd in: (2017)

PLAYING STOCHASTIC GAMES PRECISELY
door: Chen, T, et al.
Gepubliceerd in: (2012)

Playing Stochastic Games Precisely
door: Chen, T, et al.
Gepubliceerd in: (2012)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
door: Basset, N, et al.
Gepubliceerd in: (2014)

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
door: Kwiatkowska, M, et al.
Gepubliceerd in: (2016)

Automatic Verification of Competitive Stochastic Systems
door: Chen, T, et al.
Gepubliceerd in: (2011)

Automatic Verification of Competitive Stochastic Systems.
door: Chen, T, et al.
Gepubliceerd in: (2012)

Automatic Verification of Competitive Stochastic Systems
door: Chen, T, et al.
Gepubliceerd in: (2012)

Compositional Controller Synthesis for Stochastic Games
door: Basset, N, et al.
Gepubliceerd in: (2014)

Decidability results for multi-objective stochastic games
door: Brenguier, R, et al.
Gepubliceerd in: (2016)

Assume-guarantee strategy synthesis for stochastic games
door: Wiltsche, C
Gepubliceerd in: (2015)

Reachability in Stochastic Timed Games.
door: Bouyer, P, et al.
Gepubliceerd in: (2009)

Expected Reachability−Time Games
door: Forejt, V, et al.
Gepubliceerd in: (2010)

Expected reachability-time games
door: Forejt, V, et al.
Gepubliceerd in: (2016)

Expected Reachability-Time Games.
door: Forejt, V, et al.
Gepubliceerd in: (2010)

Continuous-Time Stochastic Games with Time-Bounded Reachability.
door: Brázdil, T, et al.
Gepubliceerd in: (2009)

Automatic verification of competitive stochastic systems
door: Simaitis, A
Gepubliceerd in: (2014)

Quantitative verification and strategy synthesis of stochastic games
door: Svorenova, M, et al.
Gepubliceerd in: (2016)

Automated verification of concurrent stochastic games
door: Kwiatkowska, M, et al.
Gepubliceerd in: (2018)

Quantitative Multi-objective Verification for Probabilistic Systems.
door: Forejt, V, et al.
Gepubliceerd in: (2011)

Model checking and strategy synthesis for stochastic games: from theory to practice
door: Kwiatkowska, M
Gepubliceerd in: (2016)

Strategy synthesis for partially observable stochastic games with neural perception mechanisms
door: Kwiatkowska, M
Gepubliceerd in: (2024)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
door: Jovanovic, A, et al.
Gepubliceerd in: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
door: Jovanović, A, et al.
Gepubliceerd in: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
door: Jovanović, A, et al.
Gepubliceerd in: (2014)

Correlated equilibria and fairness in concurrent stochastic games
door: Kwiatkowska, M, et al.
Gepubliceerd in: (2022)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
door: Kwiatkowska, M, et al.
Gepubliceerd in: (2020)

Markov Decision Processes with Multiple Long-run Average Objectives
door: Brázdil, T, et al.
Gepubliceerd in: (2011)

Multi-player equilibria verification for concurrent stochastic games
door: Kwiatkowska, M, et al.
Gepubliceerd in: (2020)

Synthesizing Pareto optimal decision for autonomic clouds using stochastic games model checking
door: Kwiatkowska, M, et al.
Gepubliceerd in: (2018)

Stochastic programming with multiple objective functions /
door: 261569 Stancu-Minasian, I. M., et al.
Gepubliceerd in: (1984)

Partially observable stochastic games with neural perception mechanisms
door: Yan, R, et al.
Gepubliceerd in: (2024)

Equilibria-based probabilistic model checking for concurrent stochastic games
door: Kwiatkowska, M, et al.
Gepubliceerd in: (2019)

Symbolic verification and strategy synthesis for turn-based stochastic games
door: Kwiatkowska, M, et al.
Gepubliceerd in: (2022)

Multiple object tracking by stochastic method
door: Li, Jiang
Gepubliceerd in: (2008)

Verifying Team Formation Protocols with Probabilistic Model Checking
door: Chen, T, et al.
Gepubliceerd in: (2011)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
door: Yan, R, et al.
Gepubliceerd in: (2022)

Stability in graphs and games
door: Brázdil, T, et al.
Gepubliceerd in: (2016)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
door: Yan, R, et al.
Gepubliceerd in: (2024)