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...

Повний опис

Бібліографічні деталі
Автори:	Chen, T, Forejt, V, Kwiatkowska, M, Simaitis, A, Wiltsche, C
Формат:	Report
Опубліковано:	DCS 2013

Схожі ресурси

Compositional strategy synthesis for stochastic games with multiple objectives
за авторством: Basset, N, та інші
Опубліковано: (2017)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
за авторством: Kwiatkowska, M, та інші
Опубліковано: (2017)

PLAYING STOCHASTIC GAMES PRECISELY
за авторством: Chen, T, та інші
Опубліковано: (2012)

Playing Stochastic Games Precisely
за авторством: Chen, T, та інші
Опубліковано: (2012)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
за авторством: Basset, N, та інші
Опубліковано: (2014)

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
за авторством: Kwiatkowska, M, та інші
Опубліковано: (2016)

Automatic Verification of Competitive Stochastic Systems
за авторством: Chen, T, та інші
Опубліковано: (2011)

Automatic Verification of Competitive Stochastic Systems.
за авторством: Chen, T, та інші
Опубліковано: (2012)

Automatic Verification of Competitive Stochastic Systems
за авторством: Chen, T, та інші
Опубліковано: (2012)

Compositional Controller Synthesis for Stochastic Games
за авторством: Basset, N, та інші
Опубліковано: (2014)

Decidability results for multi-objective stochastic games
за авторством: Brenguier, R, та інші
Опубліковано: (2016)

Assume-guarantee strategy synthesis for stochastic games
за авторством: Wiltsche, C
Опубліковано: (2015)

Reachability in Stochastic Timed Games.
за авторством: Bouyer, P, та інші
Опубліковано: (2009)

Expected Reachability−Time Games
за авторством: Forejt, V, та інші
Опубліковано: (2010)

Expected reachability-time games
за авторством: Forejt, V, та інші
Опубліковано: (2016)

Expected Reachability-Time Games.
за авторством: Forejt, V, та інші
Опубліковано: (2010)

Continuous-Time Stochastic Games with Time-Bounded Reachability.
за авторством: Brázdil, T, та інші
Опубліковано: (2009)

Automatic verification of competitive stochastic systems
за авторством: Simaitis, A
Опубліковано: (2014)

Quantitative verification and strategy synthesis of stochastic games
за авторством: Svorenova, M, та інші
Опубліковано: (2016)

Automated verification of concurrent stochastic games
за авторством: Kwiatkowska, M, та інші
Опубліковано: (2018)

Quantitative Multi-objective Verification for Probabilistic Systems.
за авторством: Forejt, V, та інші
Опубліковано: (2011)

Model checking and strategy synthesis for stochastic games: from theory to practice
за авторством: Kwiatkowska, M
Опубліковано: (2016)

Strategy synthesis for partially observable stochastic games with neural perception mechanisms
за авторством: Kwiatkowska, M
Опубліковано: (2024)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
за авторством: Jovanovic, A, та інші
Опубліковано: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
за авторством: Jovanović, A, та інші
Опубліковано: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
за авторством: Jovanović, A, та інші
Опубліковано: (2014)

Correlated equilibria and fairness in concurrent stochastic games
за авторством: Kwiatkowska, M, та інші
Опубліковано: (2022)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
за авторством: Kwiatkowska, M, та інші
Опубліковано: (2020)

Markov Decision Processes with Multiple Long-run Average Objectives
за авторством: Brázdil, T, та інші
Опубліковано: (2011)

Multi-player equilibria verification for concurrent stochastic games
за авторством: Kwiatkowska, M, та інші
Опубліковано: (2020)

Synthesizing Pareto optimal decision for autonomic clouds using stochastic games model checking
за авторством: Kwiatkowska, M, та інші
Опубліковано: (2018)

Stochastic programming with multiple objective functions /
за авторством: 261569 Stancu-Minasian, I. M., та інші
Опубліковано: (1984)

Partially observable stochastic games with neural perception mechanisms
за авторством: Yan, R, та інші
Опубліковано: (2024)

Equilibria-based probabilistic model checking for concurrent stochastic games
за авторством: Kwiatkowska, M, та інші
Опубліковано: (2019)

Symbolic verification and strategy synthesis for turn-based stochastic games
за авторством: Kwiatkowska, M, та інші
Опубліковано: (2022)

Multiple object tracking by stochastic method
за авторством: Li, Jiang
Опубліковано: (2008)

Verifying Team Formation Protocols with Probabilistic Model Checking
за авторством: Chen, T, та інші
Опубліковано: (2011)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
за авторством: Yan, R, та інші
Опубліковано: (2022)

Stability in graphs and games
за авторством: Brázdil, T, та інші
Опубліковано: (2016)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
за авторством: Yan, R, та інші
Опубліковано: (2024)