Strategy synthesis for stochastic games with multiple long-run objectives

DOI10.1007/978-3-662-46681-0_22MaRDI QIDQ5194953zbMATH OpenOpenAlexFDO

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

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 processreward structurestochastic gamestrategy constructionstrategy synthesis

Mathematics Subject Classification ID

Stochastic games, stochastic differential games (91A15)

Recommendations

• Compositional strategy synthesis for stochastic games with multiple objectives
• On stochastic games with multiple objectives
• Compositional controller synthesis for stochastic games
• Stochastic Games with Finitary Objectives
• Perfect-information stochastic games with generalized mean-payoff objectives

Cited in

(7)

• Compositional strategy synthesis for stochastic games with multiple objectives
• Multi-objective optimization of long-run average and total rewards
• Compositional controller synthesis for stochastic games
• Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives
• Combinations of Qualitative Winning for Stochastic Parity Games
• Stochastic games with lexicographic objectives
• The maxmin value of repeated games with incomplete information on one side and tail-measurable payoffs

This page was built for publication: Strategy synthesis for stochastic games with multiple long-run objectives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5194953)