![](/img/cover-not-exists.png)
Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes
Bouton, Maxime, Tumova, Jana, Kochenderfer, Mykel J.Volume:
34
Journal:
Proceedings of the AAAI Conference on Artificial Intelligence
DOI:
10.1609/aaai.v34i06.6563
Date:
April, 2020
File:
PDF, 494 KB
2020