@misc{indiciaeae9a373bc53b,
  title = {Probabilistic model predictive safety certification for learning-based control},
  author = {Kim P. Wabersich and Lukas Hewing and Andrea Carron and Melanie N. Zeilinger},
  year = {2021},
  url = {https://arxiv.org/abs/1906.10417},
  note = {Source identifier: 1906.10417}
}