Fingerprint
Dive into the research topics of 'Verification of hybrid systems based on counterexample-guided abstraction refinement'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Verification of hybrid systems based on counterexample-guided abstraction refinement
Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Olaf Stursberg, Michael Theobald
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
86
Citations
(Scopus)