Counter-Example Guided Predicate Abstraction of Hybrid Systems

Rajeev Alur
Thao Dang
TACAS (2003), pp. 208-223

Abstract