d/dt: a verification tool for hybrid systems.

Eugene Asarin Thao Dang Oded Maler

Published in: CDC (2001)

Keyphrases

hybrid systems
neural network
intelligent systems
black box
artificial intelligence
meta learning
discrete event
computational intelligence
soft computing
data mining
dynamic systems