Multiple Long-Run and $\omega $-Regular Objectives in MDPs
Open Access
- 16 April 2026
- book chapter
- Published by Springer Nature
- p. 526-546
Abstract
No abstract availableThis publication has 35 references indexed in Scilit:
- Tools at the Frontiers of Quantitative Verification2024
- A Practitioner’s Guide to MDP Model Checking Algorithms2023
- From Spot 2.0 to Spot 2.10: What’s New?2022
- Multi-objective Optimization of Long-run Average and Total Rewards2021
- Optimistic Value Iteration2020
- Value Iteration for Long-Run Average Reward in Markov Decision Processes2017
- Limit-Deterministic Büchi Automata for Linear Temporal Logic2016
- Automated Learning of Probabilistic Assumptions for Compositional Reasoning2011
- Assume-Guarantee Verification for Probabilistic Systems2010
- Markov Decision Processes1994