Similar Items: Foundations of probability-raising causality in Markov decision processes
- Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
- Trace Refinement in Labelled Markov Decision Processes
- Multi-Objective Model Checking of Markov Decision Processes
- Decisive Markov Chains
- Markov Decision Processes with Multiple Long-run Average Objectives
- Of Cores: A Partial-Exploration Framework for Markov Decision Processes