Simple Strategies in Multi-Objective MDPs

DOI10.1007/978-3-030-45190-5_19OpenAlexW3016295497MaRDI QIDQ5039517

Tim Quatmann, Mickael Randour, Florent Delgrange, Joost-Pieter Katoen

Publication date: 13 October 2022

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1910.11024

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (8)

Markov automata with multiple objectives ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions ⋮ Multi-objective optimization of long-run average and total rewards ⋮ Stochastic games with lexicographic objectives ⋮ Stochastic games with disjunctions of multiple objectives

Uses Software

• Gurobi
• Storm
• Unnamed Item
• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mixed-integer quadratic programming is in NP
• Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
• The 10,000 facets of MDP model checking
• Markov automata with multiple objectives
• Ensuring the reliability of your model checker: interval iteration for Markov decision processes
• Multi-cost bounded reachability in MDP
• A Survey of Multi-Objective Sequential Decision-Making
• Quantitative Multi-objective Verification for Probabilistic Systems
• Verifying Team Formation Protocols with Probabilistic Model Checking
• Multi-Objective Model Checking of Markov Decision Processes
• Sequencing Tasks with Exponential Service Times to Minimize the Expected Flow Time or Makespan
• Nondeterministic Polling Systems
• Trade-off analysis meets probabilistic model checking
• Pareto Curves for Probabilistic Model Checking
• Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
• Variations on the Stochastic Shortest Path Problem
• Markov Decision Processes with Multiple Objectives
• Percentile queries in multi-dimensional Markov decision processes

This page was built for publication: Simple Strategies in Multi-Objective MDPs