Verification of Hybrid Systems Based on Counterexmple-Guided Abstraction Refinement. (2003)

by E M Clarke, A Fehnker, Z Han, B Krogh, J Ouaknine, O Stursberg, M Theobald
Venue:In Proceedings of the International Conference on Tools and Algorithms for