C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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