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)