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)