Shielded Decision-Making in MDPs.
Planning with Markov Decision Processes: An AI Perspective