Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)

Yun Chen Tsai, Kittiphon Phalakarn, S. Akshay +1

Markov decision processes (MDPs) are a popular model for decision-making in the presence of uncertainty. The conventional view of MDPs in verification treats them as state transfor…