Nikolaus Vertovec

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

1 Publication

[1]
2022 | Conference Paper | LibreCat-ID: 30733
Vertovec, Nikolaus, et al. Verification of Safety Critical Control Policies Using Kernel Methods. 2022, pp. 1870–75.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

1 Publication

[1]
2022 | Conference Paper | LibreCat-ID: 30733
Vertovec, Nikolaus, et al. Verification of Safety Critical Control Policies Using Kernel Methods. 2022, pp. 1870–75.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed