Recent progress in continuous and hybrid reachability analysis (2006)

Cached

Download Links

by Eugene Asarin , Thao Dang , Goran Frehse , Antoine Girard , Colas Le Guernic , Oded Maler
Venue:In Proc. IEEE International Symposium on Computer-Aided Control Systems Design. IEEE Computer
Citations:16 - 1 self