Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs.

Simon Foster, Jonathan Julin Huerta y Munive, Mario Gleirscher, Georg Struth

Browse the full FM paper archive.