Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction

Rajeev Alur
Thao Dang
HSCC (2003), pp. 4-19

Abstract