Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
3 Publications
2022 | Conference Paper | LibreCat-ID: 30733
@inproceedings{Vertovec_Ober-Blöbaum_Margellos_2022, title={Verification of safety critical control policies using kernel methods}, author={Vertovec, Nikolaus and Ober-Blöbaum, Sina and Margellos, Kostas}, year={2022}, pages={1870–1875} }
LibreCat
2017 | Dissertation | LibreCat-ID: 10594 | 
@book{Peitz_2017, title={ Exploiting structure in multiobjective optimization and optimal control}, DOI={10.17619/UNIPB/1-176}, author={Peitz, Sebastian}, year={2017} }
LibreCat
| Files available
| DOI
| Download (ext.)