Birkbeck, University of London logo
BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    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.

    This list was generated on Sat May 18 05:43:10 2024 BST.