On stochastic games with multiple objectives

DOI10.1007/978-3-642-40313-2_25MaRDI QIDQ2849916zbMATH OpenOpenAlexFDO

Authors Taolue Chen, Vojtech Forejt, Marta Kwiatkowska, Aistis Simaitis, C. Wiltsche

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

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

Recommendations

• Decidability results for multi-objective stochastic games
• Playing stochastic games precisely
• Perfect-information stochastic games with generalized mean-payoff objectives
• Stochastic games with lexicographic reachability-safety objectives
• A Survey of Stochastic Games with Limsup and Liminf Objectives

Cited in

(30)

• Compositional strategy synthesis for stochastic games with multiple objectives
• Decidability results for multi-objective stochastic games
• Comparison of algorithms for simple stochastic games
• An STL-based formulation of resilience in cyber-physical systems
• Multicriteria dynamic games with random horizon
• Verification of multiplayer stochastic games via abstract dependency graphs
• Automatic verification of concurrent stochastic systems
• Multi-cost bounded tradeoff analysis in MDP
• Stochastic games with lexicographic reachability-safety objectives
• Playing stochastic games precisely
• Turn-based stochastic games
• Graph Games and Reactive Synthesis
• Quantitative verification and strategy synthesis for stochastic games
• A Survey of Stochastic Games with Limsup and Liminf Objectives
• scientific article; zbMATH DE number 4110507 (Why is no real title available?)
• scientific article; zbMATH DE number 7370547 (Why is no real title available?)
• Comparison of algorithms for simple stochastic games
• Solving simple stochastic games with few random nodes faster using Bland's rule
• Approximating values of generalized-reachability stochastic games
• Strategy synthesis for stochastic games with multiple long-run objectives
• scientific article; zbMATH DE number 5592287 (Why is no real title available?)
• Combinations of Qualitative Winning for Stochastic Parity Games
• Playing Against Fair Adversaries in Stochastic Games with Total Rewards
• Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
• Equilibria-based probabilistic model checking for concurrent stochastic games
• Matrix norm based hybrid Shapley and iterative methods for the solution of stochastic matrix games
• Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves
• Stochastic games with lexicographic objectives
• Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions
• Stochastic games with disjunctions of multiple objectives

This page was built for publication: On stochastic games with multiple objectives

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