Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction

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

Abstract

Research Areas