Collaborative Verification-Driven Engineering of Hybrid Systems.

Stefan Mitsch Grant Olney Passmore André Platzer

Published in: CoRR (2014)

Keyphrases

hybrid systems
artificial intelligence
intelligent systems
black box
neural network
computational intelligence
discrete event
soft computing
meta learning
software engineering
orders of magnitude
evolutionary computation
supervised learning
knowledge intensive
fuzzy logic
workflow systems
machine learning