HYTECH: A Model Checker for Hybrid Systems.

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi

Browse the full CAV paper archive.