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)