Recent progress in continuous and hybrid reachability analysis (2006)

by E Asarin, T Dang, G Frehse, A Girard, C Le Guernic, O Maler
Venue:In Proc. of the 2006 IEEE Conference on Computer Aided Control Systems Design