Counter-Example Guided Predicate Abstraction of Hybrid Systems.

Rajeev Alur, Thao Dang, Franjo Ivancic

Browse the full TACAS paper archive.