From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes

@inproceedings{hellwig2025zonotopes,
  title = {From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes},
  author = {Jonathan Hellwig and Lukas Schäfer and Long Qian and André Platzer and Matthias Althoff},
  year = {2025},
  booktitle = {International Conference on Integrated Formal Methods (iFM)},
  pages = {248--267},
  doi = {10.1007/978-3-032-10794-7_13},
  eprint = {2509.20301},
  archivePrefix = {arXiv}
}