Iteratively Synthesizing ε-Robust Barrier Certificates for Neural Network Controlled Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yi Luo' in GoogleThis author has not been identified. Look up 'Xin Chen' in GoogleThis author has not been identified. Look up 'Jin Dai' in GoogleThis author has not been identified. Look up 'Enyi Tang' in GoogleThis author has not been identified. Look up 'Xuandong Li' in Google

runs on WebDSL