PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech.

Published in: HSCC (2005)

Keyphrases

hybrid systems
black box
intelligent systems
neural network
artificial intelligence
soft computing
discrete event
computational intelligence
meta learning
data mining
genetic algorithm
e learning
expert systems
active learning
fuzzy logic
model selection