Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes

Maxime Bouton, Jana Tumova, Mykel J. Kochenderfer

Autonomous systems are often required to operate in partially observable environments. They must reliably execute a specified objective even with incomplete information about the s…