@inproceedings{, author = {Reißig, Gunther; Rungger, Matthias}, title = {Abstraction-based solution of optimal stopping problems under uncertainty}, editor = {}, booktitle = {52nd IEEE Conference on Decision and Control : December 10-13, 2013. Florence, Italy}, series = {}, journal = {}, address = {Florence, Italy}, publisher = {}, edition = {}, year = {2013}, isbn = {978-1-4673-5714-2 }, volume = {}, number = {}, pages = {3190-3196}, url = {http://dx.doi.org/10.1109/CDC.2013.6760370}, doi = {10.1109/CDC.2013.6760370}, keywords = {}, abstract = {}, note = {}, institution = {Universität der Bundeswehr München, Fakultät für Luft- und Raumfahrttechnik, LRT 15 - Institut für Steuer- und Regelungstechnik, Professur: Svaricek, Ferdinand}, }