DMCA

Reachability Analysis of Hybrid Systems via Predicate Abstraction (2002)

Cached

Download Links

by Rajeev Alur , Thao Dang , Franjo Ivancic
Venue:Hybrid Systems: Computation and Control, Fifth International Workshop, LNCS 2289
Citations:62 - 8 self