Stochastic games with lexicographic objectives

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Optimal cost almost-sure reachability in POMDPs
Quantitative verification and strategy synthesis for stochastic games
Trading performance for stability in Markov decision processes
A survey of stochastic \(\omega \)-regular games
Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
Probabilistic mobile ambients
The complexity of stochastic games
Decidability results for multi-objective stochastic games
Multi-objective optimization of long-run average and total rewards
Markov automata with multiple objectives
Multi-cost bounded tradeoff analysis in MDP
Stochastic games with lexicographic reachability-safety objectives
POMDPs under probabilistic semantics
A lattice-theoretical fixpoint theorem and its applications
On Stochastic Games with Multiple Objectives
Multi-objective Discounted Reward Verification in Graphs and MDPs
Multi-Objective Decision Making
Quantitative Multi-objective Verification for Probabilistic Systems
Lexicographic Probabilities and Choice Under Uncertainty
Multi-Objective Model Checking of Markov Decision Processes
Better Quality in Synthesis through Quantitative Objectives
Exceptional Paper—Lexicographic Orders, Utilities and Decision Rules: A Survey
Model and Objective Separation with Conditional Lower Bounds
Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives
Pareto Curves for Probabilistic Model Checking
Percentile performance criteria for limiting average Markov decision processes
Simple Strategies in Multi-Objective MDPs
Approximating Values of Generalized-Reachability Stochastic Games
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives
Markov Decision Processes with Multiple Long-run Average Objectives
Model-Checking ω-Regular Properties of Interval Markov Chains
Markov Decision Processes with Multiple Long-Run Average Objectives
Percentile queries in multi-dimensional Markov decision processes
Attracting tangles to solve parity games
Value iteration for simple stochastic games: stopping criterion and learning algorithm
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives
Stochastic games with disjunctions of multiple objectives

This page was built for publication: Stochastic games with lexicographic objectives

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