Robust Markov Decision Processes: A Place Where AI and Formal Methods
Meet
Robust Markov Decision Processes: A Place Where AI and Formal Methods
Meet
Markov decision processes (MDPs) are a standard model for sequential decision-making problems and are widely used across many scientific areas, including formal methods and artificial intelligence (AI). MDPs do, however, come with the restrictive assumption that the transition probabilities need to be precisely known. Robust MDPs (RMDPs) overcome this assumption …