Login / Signup
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.
Sergiy Bogomolov
Goran Frehse
Marius Greitschus
Radu Grosu
Corina S. Pasareanu
Andreas Podelski
Thomas Strump
Published in:
Haifa Verification Conference (2014)
Keyphrases
</>
hybrid systems
intelligent systems
black box
meta learning
neural network
artificial intelligence
soft computing
computational intelligence
discrete event
search space
evolutionary computation
workflow systems
inductive learning
learning tasks
active learning
expert systems
data mining