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

Published in _International Conference on Integrated Formal Methods (iFM)_, 2025