Login / Signup

Formal verification of robustness and resilience of learning-enabled state estimation systems.

Wei HuangYifan ZhouGaojie JinYoucheng SunJie MengFan ZhangXiaowei Huang
Published in: Neurocomputing (2024)
Keyphrases
  • state estimation
  • formal verification
  • learning algorithm
  • reinforcement learning
  • particle filter
  • model checking
  • state space model
  • automated verification