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.
LibreCat
 

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.
LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed