Verification of Clocked and Hybrid Systems.

Yonit Kesten Zohar Manna Amir Pnueli

Published in: Acta Informatica (2000)

Keyphrases

hybrid systems
soft computing
black box
intelligent systems
meta learning
neural network
computational intelligence
artificial intelligence
discrete event
expert systems
machine learning
fuzzy logic
learning tasks
training data
control system