@misc{indiciaec19c65f9887d,
  title = {Verification of safety critical control policies using kernel methods},
  author = {Nikolaus Vertovec and Sina Ober-Blöbaum and Kostas Margellos},
  year = {2022},
  doi = {10.23919/ecc55457.2022.9838224},
  url = {https://arxiv.org/abs/2203.12407},
  note = {Source identifier: 2203.12407}
}