Automated Machine-Checked Hybrid System Safety Proofs.

Herman Geuvers, Adam Koprowski, Dan Synek, Eelis van der Weegen

Browse the full ITP paper archive.