TY  - RPRT
TI  - Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
AU  - Wei Huang
AU  - Yifan Zhou
AU  - Gaojie Jin
AU  - Youcheng Sun
AU  - Jie Meng
AU  - Fan Zhang
AU  - Xiaowei Huang
PY  - 2024
DO  - 10.1016/j.neucom.2024.127643
UR  - https://arxiv.org/abs/2010.08311
ID  - 2010.08311
ER  -