Similar Items: Semipullbacks of labelled Markov processes
- Trace Refinement in Labelled Markov Decision Processes
- Markov two-components processes
- Zeta Functions and the (Linear) Logic of Markov Processes
- Multi-Objective Model Checking of Markov Decision Processes
- Foundations of probability-raising causality in Markov decision processes
- Markov Decision Processes with Multiple Long-run Average Objectives