Similar Items: Markov Decision Processes with Multiple Long-run Average Objectives
- Analysis of Timed and Long-Run Objectives for Markov Automata
- Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
- Multi-Objective Model Checking of Markov Decision Processes
- Life is Random, Time is Not: Markov Decision Processes with Window Objectives
- Trace Refinement in Labelled Markov Decision Processes
- Foundations of probability-raising causality in Markov decision processes