Multi-objective Model Checking of Markov Decision Processes

DOI10.1007/978-3-540-71209-1_6zbMath1186.68286OpenAlexW2128480458MaRDI QIDQ5758101

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

Publication date: 3 September 2007

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

Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (10)

Synthesizing efficient systems in probabilistic environments ⋮ Compositional probabilistic verification through multi-objective model checking ⋮ An extended ϵ‐constraint method for a multiobjective finite‐horizon Markov decision process ⋮ Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives ⋮ Extended beam search for non-exhaustive state space analysis ⋮ Combinations of Qualitative Winning for Stochastic Parity Games ⋮ Sequential Convex Programming for the Efficient Verification of Parametric MDPs ⋮ Deniable Functional Encryption ⋮ Markov Decision Processes with Multiple Long-Run Average Objectives ⋮ An STL-based formulation of resilience in cyber-physical systems

This page was built for publication: Multi-objective Model Checking of Markov Decision Processes