%0 Conference Paper %1 conf/aaai/BoutonTK20 %A Bouton, Maxime %A Tumova, Jana %A Kochenderfer, Mykel J. %B AAAI %D 2020 %I AAAI Press %K dblp %P 10061-10068 %T Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2020.html#BoutonTK20 %@ 978-1-57735-823-7

@inproceedings{conf/aaai/BoutonTK20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Bouton, Maxime and Tumova, Jana and Kochenderfer, Mykel J.}, biburl = {https://www.bibsonomy.org/bibtex/2722c6eb76e8bc137a8eea32e54b09399/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2020}, ee = {https://doi.org/10.1609/aaai.v34i06.6563}, interhash = {bc2e234a5725796bdf3a96058b5c2d39}, intrahash = {722c6eb76e8bc137a8eea32e54b09399}, isbn = {978-1-57735-823-7}, keywords = {dblp}, pages = {10061-10068}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:05:48.000+0200}, title = {Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2020.html#BoutonTK20}, year = 2020 }