Sign in
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.
Edmund M. Clarke
Ansgar Fehnker
Zhi Han
Bruce H. Krogh
Olaf Stursberg
Michael Theobald
Published in:
TACAS (2003)
Keyphrases
</>
hybrid systems
model checking
formal verification
black box
intelligent systems
neural network
meta learning
computational intelligence
soft computing
discrete event
artificial intelligence
feature space
fuzzy logic
orders of magnitude
workflow systems