Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker 0001, Ralf Wimmer 0001, Leonore Winterer. Correct-by-construction policies for POMDPs. In Sriram Sankaranarayanan 0001, Sadegh Soudjani, editors, Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019. pages 6-8, ACM, 2019. [doi]
@inproceedings{0001JKQ00W19,
title = {Correct-by-construction policies for POMDPs},
author = {Nils Jansen 0001 and Sebastian Junges and Joost-Pieter Katoen and Tim Quatmann and Bernd Becker 0001 and Ralf Wimmer 0001 and Leonore Winterer},
year = {2019},
doi = {10.1145/3313149.3313366},
url = {https://doi.org/10.1145/3313149.3313366},
researchr = {https://researchr.org/publication/0001JKQ00W19},
cites = {0},
citedby = {0},
pages = {6-8},
booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019},
editor = {Sriram Sankaranarayanan 0001 and Sadegh Soudjani},
publisher = {ACM},
isbn = {978-1-4503-6697-7},
}