Robust test generation and coverage for hybrid systems,” (2007)

by A A Julius, G E Fainekos, M Anand, I Lee, G J Pappas
Venue:in Hybrid Systems: Computation and Control, ser. LNCS 4416,