Spaceex: Scalable verification of hybrid systems. (2011)

by G Frehse, C Le Guernic, A Donz, S Cotton, R Ray, O Lebeltel, R Ripado, A Girard, T Dang, O Maler
Venue:In CAV,