2020
Practical Verification of Neural Network Enabled State Estimation System for Robotics
IROS 2020poster
We study for the first time the verification problem on learning-enabled state estimation systems for robotics, which use Bayes filter for localisation, and use deep neural network to process sensory input into observations for the Bayes filter. Specifically, we are interested in a robustness proper…