TY  - RPRT
TI  - Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes
AU  - Maxime Bouton
AU  - Jana Tumova
AU  - Mykel J. Kochenderfer
PY  - 2020
UR  - https://arxiv.org/abs/2001.03809
ID  - 2001.03809
ER  -