Deductive Verification of Hybrid Systems Using STeP.

Zohar Manna Henny Sipma

Published in: HSCC (1998)

Keyphrases

hybrid systems
black box
neural network
intelligent systems
meta learning
discrete event
artificial intelligence
computational intelligence
soft computing
training data
dynamic systems
feature selection
decision making
constraint satisfaction problems