Reachable Polyhedral Marching (RPM): A Safety Verification Algorithm for Robotic Systems with Deep Neural Network Components.
Joseph A. VincentMac SchwagerPublished in: ICRA (2021)
Keyphrases
- neural network
- robotic systems
- dynamic programming
- learning algorithm
- training algorithm
- preprocessing
- segmentation algorithm
- multi robot
- detection algorithm
- real time
- computational complexity
- expectation maximization
- k means
- back propagation
- convex hull
- artificial intelligence
- genetic algorithm
- feed forward neural networks
- mobile robot
- np hard
- mathematical model
- matching algorithm
- convergence rate
- distance transform
- model free