Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X.

Timm Liebrenz, Paula Herber, Sabine Glesner

Browse the full ICFEM paper archive.