Multi-cost bounded tradeoff analysis in MDP
DOI10.1007/s10817-020-09574-9zbMath1468.68132OpenAlexW3045984969MaRDI QIDQ2208304
Sebastian Junges, Tim Quatmann, Arnd Hartmanns, Joost-Pieter Katoen
Publication date: 2 November 2020
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-020-09574-9
Markov decision processprobabilistic model checkingPareto-optimal strategiescost-bounded reachabilityexpected rewardsmulti-objective verification
Multi-objective and goal programming (90C29) 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 (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Optimal cost almost-sure reachability in POMDPs
- Trading performance for stability in Markov decision processes
- State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning
- Optimization models for the first arrival target distribution function in discrete time
- A comparison of time- and reward-bounded probabilistic model checking techniques
- Markov automata with multiple objectives
- Ensuring the reliability of your model checker: interval iteration for Markov decision processes
- Optimistic value iteration
- A compositional modelling and analysis framework for stochastic hybrid systems
- Multi-cost bounded reachability in MDP
- Maximizing the Probability of Arriving on Time
- On Stochastic Games with Multiple Objectives
- A Survey of Multi-Objective Sequential Decision-Making
- Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art
- Quantitative Multi-objective Verification for Probabilistic Systems
- Maximizing the Conditional Expected Reward for Reaching the Goal
- Reachability in MDPs: Refining Convergence of Value Iteration
- Verification of Markov Decision Processes Using Learning Algorithms
- Multi-Objective Model Checking of Markov Decision Processes
- Pareto Curves for Probabilistic Model Checking
- Computing Quantiles in Markov Reward Models
- Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
- Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes
- Markov Decision Processes with Multiple Long-run Average Objectives
- Markov Decision Processes with Multiple Objectives
- Foundations of Software Science and Computational Structures
- Formal Modeling and Analysis of Timed Systems
- Percentile queries in multi-dimensional Markov decision processes
- Sound value iteration
This page was built for publication: Multi-cost bounded tradeoff analysis in MDP
