Login / Signup
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics.
Wei Huang
Yifan Zhou
Youcheng Sun
Alec Banks
Jie Meng
James Sharp
Simon Maskell
Xiaowei Huang
Published in:
CoRR (2020)
Keyphrases
</>
state estimation
formal verification
reinforcement learning
automated verification
learning algorithm
artificial intelligence
prior knowledge
knowledge based systems
complex systems
three dimensional
model checking
kalman filtering