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)