@inproceedings{GL08a,
title = {Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis },
author = {Girard, Antoine and Le Guernic, Colas},
year = {2008},
booktitle = {HSCC},
publisher = {Springer},
series = {LNCS},
team = {TEMPO},
}
