Nikolaus Vertovec

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

1 Publication

[1]
2022 | Conference Paper | LibreCat-ID: 30733
Verification of safety critical control policies using kernel methods
N. Vertovec, S. Ober-Blöbaum, K. Margellos, in: 2022, pp. 1870–1875.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Export / Embed

1 Publication

[1]
2022 | Conference Paper | LibreCat-ID: 30733
Verification of safety critical control policies using kernel methods
N. Vertovec, S. Ober-Blöbaum, K. Margellos, in: 2022, pp. 1870–1875.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Export / Embed