Verification condition generation for hybrid systems.

Xian Li Klaus Schneider

Published in: MEMOCODE (2015)

Keyphrases

hybrid systems
black box
meta learning
intelligent systems
neural network
computational intelligence
artificial intelligence
discrete event
soft computing
software engineering
machine learning
prediction accuracy
state space
petri net
learning tasks
search problems