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

Maxime Bouton, Jana Tumova, Mykel J. Kochenderfer

Browse the full AAAI paper archive.