Reachability Analysis of Hybrid Systems via Predicate Abstraction

Rajeev Alur
Thao Dang
HSCC (2002), pp. 35-48

Abstract