@misc{indiciae87835de5146b,
  title = {Adaptive Model Predictive Safety Certification for Learning-based Control -- Extended Version},
  author = {Alexandre Didier and Kim P. Wabersich and Melanie N. Zeilinger},
  year = {2021},
  url = {https://arxiv.org/abs/2109.13033},
  note = {Source identifier: 2109.13033}
}