Login / Signup
Towards verification of hybrid systems in a foundational proof assistant.
Daniel Ricketts
Gregory Malecha
Mario M. Alvarez
Vignesh Gowda
Sorin Lerner
Published in:
MEMOCODE (2015)
Keyphrases
</>
hybrid systems
black box
intelligent systems
meta learning
soft computing
neural network
discrete event
computational intelligence
artificial intelligence
dynamic systems
rough sets
decision trees
fuzzy logic
workflow systems