1 Publication
2022 | Conference Paper | LibreCat-ID: 30733
Vertovec, Nikolaus, Sina Ober-Blöbaum, and Kostas Margellos. “Verification of Safety Critical Control Policies Using Kernel Methods,” 1870–75, 2022.
LibreCat
Search
Filter Publications
Display / Sort
Export / Embed
1 Publication
2022 | Conference Paper | LibreCat-ID: 30733
Vertovec, Nikolaus, Sina Ober-Blöbaum, and Kostas Margellos. “Verification of Safety Critical Control Policies Using Kernel Methods,” 1870–75, 2022.
LibreCat