Counter-Example Guided Predicate Abstraction of Hybrid Systems. (2003)

by R Alur, T Dang, F Ivancic
Venue:In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems,