On Stochastic Games with Multiple Objectives

DOI10.1007/978-3-642-40313-2_25zbMath1400.91040OpenAlexW2140105941MaRDI QIDQ2849916

Vojtěch Forejt, C. Wiltsche, Aistis Simaitis, Taolue Chen, Marta Kwiatkowska

Publication date: 20 September 2013

Published in: Mathematical Foundations of Computer Science 2013 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40313-2_25

Mathematics Subject Classification ID

Stochastic games, stochastic differential games (91A15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (14)

Graph Games and Reactive Synthesis ⋮ Compositional strategy synthesis for stochastic games with multiple objectives ⋮ Automatic verification of concurrent stochastic systems ⋮ Quantitative verification and strategy synthesis for stochastic games ⋮ Markov automata with multiple objectives ⋮ Unnamed Item ⋮ Multi-cost bounded tradeoff analysis in MDP ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Combinations of Qualitative Winning for Stochastic Parity Games ⋮ Unnamed Item ⋮ Comparison of algorithms for simple stochastic games ⋮ An STL-based formulation of resilience in cyber-physical systems ⋮ Verification of multiplayer stochastic games via abstract dependency graphs

This page was built for publication: On Stochastic Games with Multiple Objectives