%0 Conference Paper %1 conf/snr/0001JKQ00W19 %A Jansen, Nils %A Junges, Sebastian %A Katoen, Joost-Pieter %A Quatmann, Tim %A Becker, Bernd %A Wimmer, Ralf %A Winterer, Leonore %B SNR %D 2019 %E Sankaranarayanan, Sriram %E Soudjani, Sadegh %I ACM %K dblp %P 6-8 %T Correct-by-construction policies for POMDPs. %U http://dblp.uni-trier.de/db/conf/snr/snr2019.html#0001JKQ00W19 %@ 978-1-4503-6697-7

@inproceedings{conf/snr/0001JKQ00W19, added-at = {2024-05-07T00:00:00.000+0200}, author = {Jansen, Nils and Junges, Sebastian and Katoen, Joost-Pieter and Quatmann, Tim and Becker, Bernd and Wimmer, Ralf and Winterer, Leonore}, biburl = {https://www.bibsonomy.org/bibtex/2414f0cb57f44b78d80745c6c80a862f2/dblp}, booktitle = {SNR}, crossref = {conf/snr/2019}, editor = {Sankaranarayanan, Sriram and Soudjani, Sadegh}, ee = {https://doi.org/10.1145/3313149.3313366}, interhash = {2e97b7d7e4c13f4320c4a41c144f1716}, intrahash = {414f0cb57f44b78d80745c6c80a862f2}, isbn = {978-1-4503-6697-7}, keywords = {dblp}, pages = {6-8}, publisher = {ACM}, timestamp = {2024-05-13T09:18:43.000+0200}, title = {Correct-by-construction policies for POMDPs.}, url = {http://dblp.uni-trier.de/db/conf/snr/snr2019.html#0001JKQ00W19}, year = 2019 }