Verification Techniques for Hybrid Systems.

Pavithra Prabhakar Miriam Garcia Soto Ratan Lal

Published in: ISoLA (2) (2016)

Keyphrases

hybrid systems
intelligent systems
neural network
soft computing
black box
meta learning
discrete event
artificial intelligence
computational intelligence
machine learning
machine learning algorithms
decision trees
fuzzy logic
search problems
workflow systems