Qi Zhu 0002, Wenchao Li 0001, Chao Huang 0015, Xin Chen, Weichao Zhou, Yixuan Wang 0001, Jiajun Li, Feisi Fu. Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. In 59th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2023, Monticello, IL, USA, September 26-29, 2023. pages 1-8, IEEE, 2023. [doi]
Abstract is missing.