Login / Signup

Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems.

Amit BhatiaEmilio Frazzoli
Published in: HSCC (2008)
Keyphrases
  • linear systems
  • linear equations
  • neural network
  • learning algorithm
  • optimization problems
  • sufficient conditions
  • real time
  • high resolution