Nikolaus Vertovec

Numerik und Steuerung
nvert@campus.uni-paderborn.de
ID
93930

1 Publication

[1]
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
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed

1 Publication

[1]
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
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed