Multi-Objective Model Checking of Markov Decision Processes

DOI10.2168/LMCS-4(4:8)2008zbMath1161.68565MaRDI QIDQ3623004

Marta Kwiatkowska, Moshe Y. Vardi, Kousha Etessami, Mihalis Yannakakis

Publication date: 29 April 2009

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Multi-objective and goal programming (90C29) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints, Simple Strategies in Multi-Objective MDPs, Graph Games and Reactive Synthesis, Model Checking Probabilistic Systems, Compositional strategy synthesis for stochastic games with multiple objectives, Markov automata with multiple objectives, Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition, Trading performance for stability in Markov decision processes, Compositional probabilistic verification through multi-objective model checking, Ratio and Weight Quantiles, Model Checking for Safe Navigation Among Humans, Optimal deterministic controller synthesis from steady-state distributions, Collaborative models for autonomous systems controller synthesis, Multi-cost bounded tradeoff analysis in MDP, Percentile queries in multi-dimensional Markov decision processes, Quantitative Multi-objective Verification for Probabilistic Systems, The complexity of synchronizing Markov decision processes, Probabilistic Model Checking for Energy-Utility Analysis, Performability assessment by model checking of Markov reward models, Multi-objective optimization of long-run average and total rewards, CEGAR for compositional analysis of qualitative properties in Markov decision processes, Decision Problems for Nash Equilibria in Stochastic Games, Multi-objective dynamic programming with limited precision