Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001, Jim Woodcock. Learning Safe Neural Network Controllers with Barrier Certificates. In Jun Pang 0001, Lijun Zhang 0001, editors, Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings. Volume 12153 of Lecture Notes in Computer Science, pages 177-185, Springer, 2020. [doi]
Abstract is missing.