The d/dt Tool for Verification of Hybrid Systems.

Eugene Asarin, Thao Dang, Oded Maler

Browse the full CAV paper archive.