1 Publication
2022 | Conference Paper | LibreCat-ID: 30733
@inproceedings{Vertovec_Ober-Blöbaum_Margellos_2022, title={Verification of safety critical control policies using kernel methods}, author={Vertovec, Nikolaus and Ober-Blöbaum, Sina and Margellos, Kostas}, year={2022}, pages={1870–1875} }
LibreCat
Search
Filter Publications
Display / Sort
Export / Embed
1 Publication
2022 | Conference Paper | LibreCat-ID: 30733
@inproceedings{Vertovec_Ober-Blöbaum_Margellos_2022, title={Verification of safety critical control policies using kernel methods}, author={Vertovec, Nikolaus and Ober-Blöbaum, Sina and Margellos, Kostas}, year={2022}, pages={1870–1875} }
LibreCat