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