An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract).

Bernard Boigelot, Louis Bronne, Stphane Rassart

Browse the full CAV paper archive.