1 Publication
2022 | Conference Paper | LibreCat-ID: 30733
N. Vertovec, S. Ober-Blöbaum, and K. Margellos, “Verification of safety critical control policies using kernel methods,” London, 2022, pp. 1870–1875.
LibreCat
1 Publication
2022 | Conference Paper | LibreCat-ID: 30733
N. Vertovec, S. Ober-Blöbaum, and K. Margellos, “Verification of safety critical control policies using kernel methods,” London, 2022, pp. 1870–1875.
LibreCat