Formal analysis of piecewise affine systems through formula-guided refinement.

Boyan Yordanov Jana Tumova Calin Belta Ivana Cerna Jiri Barnat

Published in: CDC (2010)

Keyphrases

formal analysis
piecewise affine
formal methods
neural network
complex systems
case study
expert systems
software engineering
intelligent systems
lightweight
building blocks
learning systems
fine grained
agent model