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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Chen, T, Forejt, V, Kwiatkowska, M, Simaitis, A, Wiltsche, C
Formáid:	Report
Foilsithe / Cruthaithe:	DCS 2013

Míreanna comhchosúla

Compositional strategy synthesis for stochastic games with multiple objectives
de réir: Basset, N, et al.
Foilsithe / Cruthaithe: (2017)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2017)

PLAYING STOCHASTIC GAMES PRECISELY
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2012)

Playing Stochastic Games Precisely
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2012)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
de réir: Basset, N, et al.
Foilsithe / Cruthaithe: (2014)

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2016)

Automatic Verification of Competitive Stochastic Systems
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2011)

Automatic Verification of Competitive Stochastic Systems.
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2012)

Automatic Verification of Competitive Stochastic Systems
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2012)

Compositional Controller Synthesis for Stochastic Games
de réir: Basset, N, et al.
Foilsithe / Cruthaithe: (2014)

Decidability results for multi-objective stochastic games
de réir: Brenguier, R, et al.
Foilsithe / Cruthaithe: (2016)

Assume-guarantee strategy synthesis for stochastic games
de réir: Wiltsche, C
Foilsithe / Cruthaithe: (2015)

Reachability in Stochastic Timed Games.
de réir: Bouyer, P, et al.
Foilsithe / Cruthaithe: (2009)

Expected Reachability−Time Games
de réir: Forejt, V, et al.
Foilsithe / Cruthaithe: (2010)

Expected reachability-time games
de réir: Forejt, V, et al.
Foilsithe / Cruthaithe: (2016)

Expected Reachability-Time Games.
de réir: Forejt, V, et al.
Foilsithe / Cruthaithe: (2010)

Continuous-Time Stochastic Games with Time-Bounded Reachability.
de réir: Brázdil, T, et al.
Foilsithe / Cruthaithe: (2009)

Automatic verification of competitive stochastic systems
de réir: Simaitis, A
Foilsithe / Cruthaithe: (2014)

Quantitative verification and strategy synthesis of stochastic games
de réir: Svorenova, M, et al.
Foilsithe / Cruthaithe: (2016)

Automated verification of concurrent stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2018)

Quantitative Multi-objective Verification for Probabilistic Systems.
de réir: Forejt, V, et al.
Foilsithe / Cruthaithe: (2011)

Model checking and strategy synthesis for stochastic games: from theory to practice
de réir: Kwiatkowska, M
Foilsithe / Cruthaithe: (2016)

Strategy synthesis for partially observable stochastic games with neural perception mechanisms
de réir: Kwiatkowska, M
Foilsithe / Cruthaithe: (2024)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
de réir: Jovanovic, A, et al.
Foilsithe / Cruthaithe: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
de réir: Jovanović, A, et al.
Foilsithe / Cruthaithe: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
de réir: Jovanović, A, et al.
Foilsithe / Cruthaithe: (2014)

Correlated equilibria and fairness in concurrent stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2022)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2020)

Markov Decision Processes with Multiple Long-run Average Objectives
de réir: Brázdil, T, et al.
Foilsithe / Cruthaithe: (2011)

Multi-player equilibria verification for concurrent stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2020)

Synthesizing Pareto optimal decision for autonomic clouds using stochastic games model checking
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2018)

Stochastic programming with multiple objective functions /
de réir: 261569 Stancu-Minasian, I. M., et al.
Foilsithe / Cruthaithe: (1984)

Partially observable stochastic games with neural perception mechanisms
de réir: Yan, R, et al.
Foilsithe / Cruthaithe: (2024)

Equilibria-based probabilistic model checking for concurrent stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2019)

Symbolic verification and strategy synthesis for turn-based stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2022)

Multiple object tracking by stochastic method
de réir: Li, Jiang
Foilsithe / Cruthaithe: (2008)

Verifying Team Formation Protocols with Probabilistic Model Checking
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2011)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
de réir: Yan, R, et al.
Foilsithe / Cruthaithe: (2022)

Stability in graphs and games
de réir: Brázdil, T, et al.
Foilsithe / Cruthaithe: (2016)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
de réir: Yan, R, et al.
Foilsithe / Cruthaithe: (2024)