Similar Items: Trace Refinement in Labelled Markov Decision Processes
- Semipullbacks of labelled Markov processes
- Multi-Objective Model Checking of Markov Decision Processes
- Foundations of probability-raising causality in Markov decision processes
- Decisive Markov Chains
- Of Cores: A Partial-Exploration Framework for Markov Decision Processes
- Life is Random, Time is Not: Markov Decision Processes with Window Objectives