Deductive verification of stabilizing systems.

Yassine Lakhnech Michael Siegel

Published in: WSS (1997)

Keyphrases

complex systems
formal methods
data sets
neural network
learning systems
real world
machine learning
data structure
expert systems
computational intelligence
intelligent systems
building blocks
model checking