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)