Items where authors include "Zhao, Hengjun"

Article

Zhao, Hengjun, Zeng, Xia, Chen, Taolue et al. (2 more authors) (2021) Learning safe neural network controllers with barrier certificates. Formal Aspects of Computing. pp. 437-455. ISSN 1433-299X

Preprint

Zhao, Hengjun, Zeng, Xia, Chen, Taolue et al. (2 more authors) (2020) Learning Safe Neural Network Controllers with Barrier Certificates. [Preprint]