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

Jonathan Hellwig, Lukas Schfer, Long Qian, Andr Platzer, Matthias Althoff

Browse the full IFM paper archive.