dReach: δ-Reachability Analysis for Hybrid Systems.

Soonho Kong, Sicun Gao, Wei Chen, Edmund M. Clarke

Browse the full TACAS paper archive.