M. Bouton, J. Tumova, and M. J. Kochenderfer, “Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes”, AAAI, vol. 34, no. 06, pp. 10061-10068, Apr. 2020.