@inproceedings{LG09,
title = {Reachability Analysis of Hybrid Systems using Support Functions },
author = {Le Guernic, Colas and Girard, Antoine},
year = {2009},
booktitle = {CAV},
team = {TEMPO},
}