Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives

DOI10.1007/978-3-662-46681-0_22zbMath1420.91011OpenAlexW1574269384MaRDI QIDQ5194953

C. Wiltsche, Ufuk Topcu, Marta Kwiatkowska, Nicolas Basset

Publication date: 17 September 2019

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46681-0_22

zbMATH Keywords

Markov decision processstochastic gamestrategy synthesisreward structurestrategy construction

Mathematics Subject Classification ID

Stochastic games, stochastic differential games (91A15)

Related Items (4)

Compositional strategy synthesis for stochastic games with multiple objectives ⋮ Markov automata with multiple objectives ⋮ Combinations of Qualitative Winning for Stochastic Parity Games ⋮ Multi-objective optimization of long-run average and total rewards

This page was built for publication: Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives