Similar Items: Markov two-components processes
- Semipullbacks of labelled Markov processes
- Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
- Trace Refinement in Labelled Markov Decision 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