Items where authors include "Liu, Zhiming"

Export as [feed] Atom [feed] RSS
Jump to: Article | Preprint
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]

This list was generated on Sun Mar 24 05:31:51 2024 GMT.