DMCA

Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction (2003)

by Rajeev Alur , Thao Dang , Franjo Ivancic
Venue:in Hybrid Systems: Computation and Control, LNCS 2623
Citations:39 - 5 self