Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    77 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement'. Together they form a unique fingerprint.

    Engineering & Materials Science