@misc{indiciaef26788ccd5d2,
  title = {Linear model predictive safety certification for learning-based control},
  author = {Kim P. Wabersich and Melanie N. Zeilinger},
  year = {2019},
  url = {https://arxiv.org/abs/1803.08552},
  note = {Source identifier: 1803.08552}
}