The d/dt Tool for Verification of Hybrid Systems.

Eugene Asarin Thao Dang Oded Maler

Published in: CAV (2002)

Keyphrases

hybrid systems
black box
intelligent systems
neural network
meta learning
soft computing
computational intelligence
artificial intelligence
discrete event
machine learning
genetic algorithm
text classification
evolutionary computation
test cases
software engineering
multi agent systems
data mining