Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems⋆

Wei Huang, Yifan Zhou, Gaojie Jin, Youcheng Sun, Jie Meng, Fan Zhang, Xiaowei Huang

Research output: Contribution to journalArticlepeer-review

5 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems⋆'. Together they form a unique fingerprint.

Computer Science