Verification of Clocked and Hybrid Systems.

Yonit Kesten Zohar Manna Amir Pnueli

Published in: European Educational Forum: School on Embedded Systems (1996)

Keyphrases

hybrid systems
black box
soft computing
neural network
intelligent systems
meta learning
discrete event
computational intelligence
artificial intelligence
evolutionary algorithm
decision trees
fuzzy logic