Reachable Polyhedral Marching (RPM): A Safety Verification Algorithm for Robotic Systems with Deep Neural Network Components.
Joseph A. VincentMac SchwagerPublished in: CoRR (2020)
Keyphrases
- dynamic programming
- detection algorithm
- robotic systems
- neural network
- preprocessing
- computational complexity
- np hard
- learning algorithm
- simulated annealing
- expectation maximization
- auto associative
- real time
- nearest neighbour
- associative memory
- convergence rate
- metaheuristic
- particle swarm optimization
- machine learning