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

Bibliografski detalji
Glavni autori:	Chen, T, Forejt, V, Kwiatkowska, M, Simaitis, A, Wiltsche, C
Format:	Report
Izdano:	DCS 2013

Slični predmeti

Compositional strategy synthesis for stochastic games with multiple objectives
od: Basset, N, i dr.
Izdano: (2017)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
od: Kwiatkowska, M, i dr.
Izdano: (2017)

PLAYING STOCHASTIC GAMES PRECISELY
od: Chen, T, i dr.
Izdano: (2012)

Playing Stochastic Games Precisely
od: Chen, T, i dr.
Izdano: (2012)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
od: Basset, N, i dr.
Izdano: (2014)

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
od: Kwiatkowska, M, i dr.
Izdano: (2016)

Automatic Verification of Competitive Stochastic Systems
od: Chen, T, i dr.
Izdano: (2011)

Automatic Verification of Competitive Stochastic Systems.
od: Chen, T, i dr.
Izdano: (2012)

Automatic Verification of Competitive Stochastic Systems
od: Chen, T, i dr.
Izdano: (2012)

Compositional Controller Synthesis for Stochastic Games
od: Basset, N, i dr.
Izdano: (2014)

Decidability results for multi-objective stochastic games
od: Brenguier, R, i dr.
Izdano: (2016)

Assume-guarantee strategy synthesis for stochastic games
od: Wiltsche, C
Izdano: (2015)

Reachability in Stochastic Timed Games.
od: Bouyer, P, i dr.
Izdano: (2009)

Expected Reachability−Time Games
od: Forejt, V, i dr.
Izdano: (2010)

Expected reachability-time games
od: Forejt, V, i dr.
Izdano: (2016)

Expected Reachability-Time Games.
od: Forejt, V, i dr.
Izdano: (2010)

Continuous-Time Stochastic Games with Time-Bounded Reachability.
od: Brázdil, T, i dr.
Izdano: (2009)

Automatic verification of competitive stochastic systems
od: Simaitis, A
Izdano: (2014)

Quantitative verification and strategy synthesis of stochastic games
od: Svorenova, M, i dr.
Izdano: (2016)

Automated verification of concurrent stochastic games
od: Kwiatkowska, M, i dr.
Izdano: (2018)

Quantitative Multi-objective Verification for Probabilistic Systems.
od: Forejt, V, i dr.
Izdano: (2011)

Model checking and strategy synthesis for stochastic games: from theory to practice
od: Kwiatkowska, M
Izdano: (2016)

Strategy synthesis for partially observable stochastic games with neural perception mechanisms
od: Kwiatkowska, M
Izdano: (2024)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
od: Jovanovic, A, i dr.
Izdano: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
od: Jovanović, A, i dr.
Izdano: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
od: Jovanović, A, i dr.
Izdano: (2014)

Correlated equilibria and fairness in concurrent stochastic games
od: Kwiatkowska, M, i dr.
Izdano: (2022)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
od: Kwiatkowska, M, i dr.
Izdano: (2020)

Markov Decision Processes with Multiple Long-run Average Objectives
od: Brázdil, T, i dr.
Izdano: (2011)

Multi-player equilibria verification for concurrent stochastic games
od: Kwiatkowska, M, i dr.
Izdano: (2020)

Synthesizing Pareto optimal decision for autonomic clouds using stochastic games model checking
od: Kwiatkowska, M, i dr.
Izdano: (2018)

Stochastic programming with multiple objective functions /
od: 261569 Stancu-Minasian, I. M., i dr.
Izdano: (1984)

Partially observable stochastic games with neural perception mechanisms
od: Yan, R, i dr.
Izdano: (2024)

Equilibria-based probabilistic model checking for concurrent stochastic games
od: Kwiatkowska, M, i dr.
Izdano: (2019)

Symbolic verification and strategy synthesis for turn-based stochastic games
od: Kwiatkowska, M, i dr.
Izdano: (2022)

Multiple object tracking by stochastic method
od: Li, Jiang
Izdano: (2008)

Verifying Team Formation Protocols with Probabilistic Model Checking
od: Chen, T, i dr.
Izdano: (2011)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
od: Yan, R, i dr.
Izdano: (2022)

Stability in graphs and games
od: Brázdil, T, i dr.
Izdano: (2016)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
od: Yan, R, i dr.
Izdano: (2024)