Items where authors include "Liu, Zhiming"
Number of items: 2.
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]