Verified Algorithms for Solving Markov Decision Processes by Maximilian Schäffeler and Mohammad Abdulaziz Dec 16