Bouton, M.; Tumova, J.; Kochenderfer, M. J. Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes. AAAI 2020, 34, 10061-10068.