Collaborative Verification-Driven Engineering of Hybrid Systems.

Stefan Mitsch Grant Olney Passmore André Platzer

Published in: Math. Comput. Sci. (2014)

Keyphrases

hybrid systems
artificial intelligence
neural network
intelligent systems
soft computing
black box
meta learning
computational intelligence
discrete event
software engineering
machine learning
knowledge acquisition
knowledge intensive
search space
learning algorithm
design process
evolutionary computation