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
N. Vertovec, S. Ober-Blöbaum, and K. Margellos, “Verification of safety critical control policies using kernel methods,” London, 2022, pp. 1870–1875.
LibreCat
2017 | Dissertation | LibreCat-ID: 10594 |

S. Peitz, Exploiting structure in multiobjective optimization and optimal control. 2017.
LibreCat
| Files available
| DOI
| Download (ext.)