Reachability Analysis of Hybrid Systems Using Support Functions.

Colas Le Guernic, Antoine Girard

Browse the full CAV paper archive.