%0 Conference Paper %1 conf/mbmv/WintererJWJTKB18 %A Winterer, Leonore %A Junges, Sebastian %A Wimmer, Ralf %A Jansen, Nils %A Topcu, Ufuk %A Katoen, Joost-Pieter %A Becker, Bernd %B MBMV %D 2018 %I Universität Tübingen %K dblp %T Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2018.html#WintererJWJTKB18 %@ 978-3-00-059317-8

@inproceedings{conf/mbmv/WintererJWJTKB18, added-at = {2022-05-04T00:00:00.000+0200}, author = {Winterer, Leonore and Junges, Sebastian and Wimmer, Ralf and Jansen, Nils and Topcu, Ufuk and Katoen, Joost-Pieter and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/24b08347a515c6cbfb0907548e7f21139/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2018}, ee = {https://hdl.handle.net/10900/84282}, interhash = {68b3b709cffe0be960aa6f18c3f7143a}, intrahash = {4b08347a515c6cbfb0907548e7f21139}, isbn = {978-3-00-059317-8}, keywords = {dblp}, publisher = {Universität Tübingen}, timestamp = {2024-04-09T14:55:40.000+0200}, title = {Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2018.html#WintererJWJTKB18}, year = 2018 }