Yi Luo, Xin Chen, Jin Dai, Enyi Tang, Xuandong Li. Iteratively Synthesizing ε-Robust Barrier Certificates for Neural Network Controlled Systems. In Zhiming Liu 0001, Adnane Saoud, Heike Wehrheim, editors, Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings. Volume 16237 of Lecture Notes in Computer Science, pages 124-141, Springer, 2025. [doi]
Abstract is missing.