![]() | Up a level |
Jump to: Formal Aspects of Computing
Number of items: 1.
Formal Aspects of Computing
Zhao, H. and Zeng, X. and Chen, Taolue and Liu, Z. and Woodcock, J. (2021) Learning safe neural network controllers with barrier certificates. Formal Aspects of Computing 33 (3), pp. 437-455. ISSN 0934-5043.