Login / Signup
Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems.
Amit Bhatia
Emilio Frazzoli
Published in:
HSCC (2008)
Keyphrases
</>
linear systems
linear equations
neural network
learning algorithm
optimization problems
sufficient conditions
real time
high resolution