PHAVer: algorithmic verification of hybrid systems past HyTech.

Published in: Int. J. Softw. Tools Technol. Transf. (2008)

Keyphrases

hybrid systems
intelligent systems
black box
neural network
discrete event
computational intelligence
soft computing
meta learning
artificial intelligence
dynamic systems
real world
data mining
learning algorithm
evolutionary algorithm
fuzzy logic
model selection
evolutionary computation