Practical Verification of Neural Network Enabled State Estimation System for Robotics
Wei Huang,Yifan Zhou,Youcheng Sun,James Sharp,Simon Maskell,Xiaowei Huang,Wei Huang,Yifan Zhou,Youcheng Sun,James Sharp,Simon Maskell,Xiaowei Huang
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 property of the systems: given a certain ability to an adversary for it to attack the neural network witho...
