Automata-Theoretic Verification of Interval Markov Decision Processes

Sarvin Bahmani, Soumyajit Paul, Sven Schewe +2

Interval Markov decision processes (IMDPs) provide a natural framework for modeling stochastic systems with uncertain transition probabilities, represented by probability intervals…