@misc{indiciaec3781411de8a,
  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},
  doi = {10.1007/978-3-032-10794-7\_13},
  url = {https://arxiv.org/abs/2509.20301},
  note = {Source identifier: 2509.20301}
}