Under-approximate flowpipes for non-linear continuous systems.

Xin Chen Sriram Sankaranarayanan Erika Ábrahám

Published in: FMCAD (2014)

Keyphrases

management system
neural network
databases
similarity measure
building blocks
machine learning
artificial intelligence
multi agent
data structure
distributed systems
piecewise linear