TY  - RPRT
TI  - Verification of safety critical control policies using kernel methods
AU  - Nikolaus Vertovec
AU  - Sina Ober-Blöbaum
AU  - Kostas Margellos
PY  - 2022
DO  - 10.23919/ecc55457.2022.9838224
UR  - https://arxiv.org/abs/2203.12407
ID  - 2203.12407
ER  -