APA (7th ed.) Citation

Huang, W., Zhou, Y., Jin, G., Sun, Y., Meng, J., Zhang, F., & Huang, X. (2020). Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems.

Chicago Style (17th ed.) Citation

Huang, Wei, Yifan Zhou, Gaojie Jin, Youcheng Sun, Jie Meng, Fan Zhang, and Xiaowei Huang. Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems. 2020.

MLA (9th ed.) Citation

Huang, Wei, et al. Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems. 2020.