Jump to Content

Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction

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

Abstract

Research Areas