Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet