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

Peitz S. Exploiting Structure in Multiobjective Optimization and Optimal Control.; 2017. doi:10.17619/UNIPB/1-176
LibreCat
| Files available
| DOI
| Download (ext.)