Counter-Example Guided Predicate Abstraction of Hybrid Systems

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

Abstract

Research Areas