Login / Signup
Barrier certificates for nonlinear model validation.
Stephen Prajna
Published in:
Autom. (2006)
Keyphrases
</>
model validation
stability analysis
access control
flank wear
data sets
social networks
computer vision
differential equations
anisotropic diffusion
linear systems