Planning with Markov Decision Processes: An AI Perspective (Synthesis Lectures on Artificial Intelligence and Machine Learning)