Stochastic games with disjunctions of multiple objectives

DOI10.4204/EPTCS.346.6MaRDI QIDQ6649516

Tobias Winkler, Maximilian Weininger

Publication date: 6 December 2024

Mathematics Subject Classification ID

Games involving graphs (91A43) Stochastic games, stochastic differential games (91A15) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Strategy improvement for concurrent reachability and turn-based stochastic safety games
• A survey of stochastic \(\omega \)-regular games
• The complexity of stochastic games
• Decidability results for multi-objective stochastic games
• Multi-player equilibria verification for concurrent stochastic games
• Stochastic games with lexicographic reachability-safety objectives
• A survey of partial-observation stochastic parity games
• On Stochastic Games with Multiple Objectives
• Multi-objective Discounted Reward Verification in Graphs and MDPs
• Robust Multidimensional Mean-Payoff Games are Undecidable
• Quantitative Multi-objective Verification for Probabilistic Systems
• Compositional Controller Synthesis for Stochastic Games
• Value Iteration
• Multi-Objective Model Checking of Markov Decision Processes
• A Survey of Stochastic Games with Limsup and Liminf Objectives
• Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives
• Percentile performance criteria for limiting average Markov decision processes
• Simple Strategies in Multi-Objective MDPs
• A Survey of Bidding Games on Graphs (Invited Paper)
• Approximating Values of Generalized-Reachability Stochastic Games
• Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
• Markov Decision Processes with Multiple Long-run Average Objectives
• Efficient Qualitative Analysis of Classes of Recursive Markov Decision Processes and Simple Stochastic Games
• Stochastic Games
• Percentile queries in multi-dimensional Markov decision processes
• PAC statistical model checking for Markov decision processes and stochastic games

Related Items (1)

Stochastic games with lexicographic objectives

This page was built for publication: Stochastic games with disjunctions of multiple objectives

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