@misc{indiciae1b29ddaaa711,
  title = {Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems},
  author = {Wei Huang and Yifan Zhou and Gaojie Jin and Youcheng Sun and Jie Meng and Fan Zhang and Xiaowei Huang},
  year = {2024},
  doi = {10.1016/j.neucom.2024.127643},
  url = {https://arxiv.org/abs/2010.08311},
  note = {Source identifier: 2010.08311}
}