Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.

Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li

Browse the full DAC paper archive.