Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li. Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. In 58th ACM/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA, December 5-9, 2021. pages 631-636, IEEE, 2021. [doi]
Abstract is missing.