Verifying Hybrid Systems.

Zohar Manna Amir Pnueli

Published in: Hybrid Systems (1992)

Keyphrases

hybrid systems
black box
intelligent systems
soft computing
discrete event
neural network
artificial intelligence
computational intelligence
meta learning
dynamic systems
knowledge acquisition
machine learning algorithms