Iteratively Synthesizing ε-Robust Barrier Certificates for Neural Network Controlled Systems.

Yi Luo, Xin Chen, Jin Dai, Enyi Tang, Xuandong Li

Browse the full ICTAC paper archive.