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)