@misc{indiciae177f85634e89,
  title = {Scalable synthesis of safety certificates from data with application to learning-based control},
  author = {Kim P. Wabersich and Melanie N. Zeilinger},
  year = {2020},
  url = {https://arxiv.org/abs/1711.11417},
  note = {Source identifier: 1711.11417}
}