Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.

Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald

Browse the full TACAS paper archive.