Multi-objective optimization of long-run average and total rewards
From MaRDI portal
Publication:2044201
DOI10.1007/978-3-030-72016-2_13zbMath1467.68094arXiv2010.13566OpenAlexW3147073715MaRDI QIDQ2044201
Tim Quatmann, Joost-Pieter Katoen
Publication date: 4 August 2021
Full work available at URL: https://arxiv.org/abs/2010.13566
Multi-objective and goal programming (90C29) Formal languages and automata (68Q45) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Trading performance for stability in Markov decision processes
- Approximating the noninferior set in multiobjective linear programming problems
- Compositional strategy synthesis for stochastic games with multiple objectives
- On the semantics of Markov automata
- Multi-objective optimization of long-run average and total rewards
- The 10,000 facets of MDP model checking
- Markov automata with multiple objectives
- Value iteration for long-run average reward in Markov decision processes
- Multi-cost bounded tradeoff analysis in MDP
- Optimistic value iteration
- Multi-cost bounded reachability in MDP
- Enhancement of Sandwich Algorithms for Approximating Higher-Dimensional Convex Pareto Sets
- Analysis of Timed and Long-Run Objectives for Markov Automata
- Quantitative Multi-objective Verification for Probabilistic Systems
- Long-Run Rewards for Markov Automata
- Modelling and Analysis of Markov Reward Automata
- Optimal Continuous Time Markov Decisions
- Multi-Objective Model Checking of Markov Decision Processes
- Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints
- Trade-off analysis meets probabilistic model checking
- Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives
- Pareto Curves for Probabilistic Model Checking
- Simple Strategies in Multi-Objective MDPs
- Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes
- Synthesis of Optimal Resilient Control Strategies
- Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes
- Approximating Values of Generalized-Reachability Stochastic Games
- Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives
- A Semantics for Every GSPN
- Markov Decision Processes with Multiple Long-run Average Objectives
- Markov Decision Processes with Multiple Objectives
- Markov Decision Processes with Multiple Long-Run Average Objectives
- Percentile queries in multi-dimensional Markov decision processes
- Sound value iteration
This page was built for publication: Multi-objective optimization of long-run average and total rewards
