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

書目詳細資料
Main Authors:	Chen, T, Forejt, V, Kwiatkowska, M, Simaitis, A, Wiltsche, C
格式:	Report
出版:	DCS 2013

相似書籍

Compositional strategy synthesis for stochastic games with multiple objectives
由: Basset, N, et al.
出版: (2017)

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

PLAYING STOCHASTIC GAMES PRECISELY
由: Chen, T, et al.
出版: (2012)

Playing Stochastic Games Precisely
由: Chen, T, et al.
出版: (2012)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
由: Basset, N, et al.
出版: (2014)

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
由: Kwiatkowska, M, et al.
出版: (2016)

Automatic Verification of Competitive Stochastic Systems
由: Chen, T, et al.
出版: (2011)

Automatic Verification of Competitive Stochastic Systems.
由: Chen, T, et al.
出版: (2012)

Automatic Verification of Competitive Stochastic Systems
由: Chen, T, et al.
出版: (2012)

Compositional Controller Synthesis for Stochastic Games
由: Basset, N, et al.
出版: (2014)

Decidability results for multi-objective stochastic games
由: Brenguier, R, et al.
出版: (2016)

Assume-guarantee strategy synthesis for stochastic games
由: Wiltsche, C
出版: (2015)

Reachability in Stochastic Timed Games.
由: Bouyer, P, et al.
出版: (2009)

Expected Reachability−Time Games
由: Forejt, V, et al.
出版: (2010)

Expected reachability-time games
由: Forejt, V, et al.
出版: (2016)

Expected Reachability-Time Games.
由: Forejt, V, et al.
出版: (2010)

Continuous-Time Stochastic Games with Time-Bounded Reachability.
由: Brázdil, T, et al.
出版: (2009)

Automatic verification of competitive stochastic systems
由: Simaitis, A
出版: (2014)

Quantitative verification and strategy synthesis of stochastic games
由: Svorenova, M, et al.
出版: (2016)

Automated verification of concurrent stochastic games
由: Kwiatkowska, M, et al.
出版: (2018)

Quantitative Multi-objective Verification for Probabilistic Systems.
由: Forejt, V, et al.
出版: (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, et al.
出版: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
由: Jovanović, A, et al.
出版: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
由: Jovanović, A, et al.
出版: (2014)

Correlated equilibria and fairness in concurrent stochastic games
由: Kwiatkowska, M, et al.
出版: (2022)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
由: Kwiatkowska, M, et al.
出版: (2020)

Markov Decision Processes with Multiple Long-run Average Objectives
由: Brázdil, T, et al.
出版: (2011)

Multi-player equilibria verification for concurrent stochastic games
由: Kwiatkowska, M, et al.
出版: (2020)

Synthesizing Pareto optimal decision for autonomic clouds using stochastic games model checking
由: Kwiatkowska, M, et al.
出版: (2018)

Stochastic programming with multiple objective functions /
由: 261569 Stancu-Minasian, I. M., et al.
出版: (1984)

Partially observable stochastic games with neural perception mechanisms
由: Yan, R, et al.
出版: (2024)

Equilibria-based probabilistic model checking for concurrent stochastic games
由: Kwiatkowska, M, et al.
出版: (2019)

Symbolic verification and strategy synthesis for turn-based stochastic games
由: Kwiatkowska, M, et al.
出版: (2022)

Multiple object tracking by stochastic method
由: Li, Jiang
出版: (2008)

Verifying Team Formation Protocols with Probabilistic Model Checking
由: Chen, T, et al.
出版: (2011)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
由: Yan, R, et al.
出版: (2022)

Stability in graphs and games
由: Brázdil, T, et al.
出版: (2016)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
由: Yan, R, et al.
出版: (2024)