Flow*: An Analyzer for Non-linear Hybrid Systems.

Xin Chen Erika Ábrahám Sriram Sankaranarayanan

Published in: CAV (2013)

Keyphrases

hybrid systems
black box
meta learning
intelligent systems
computational intelligence
neural network
soft computing
discrete event
artificial intelligence
data mining
web services
expert systems
benchmark datasets
service oriented
simulation model