Neural Networks in Imandra: Matrix Representation as a Verification Choice
Attributed to:
AISEC: AI Secure and Explainable by Construction
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-21222-2_6
Publication URI: http://dx.doi.org/10.1007/978-3-031-21222-2_6
Type: Book Chapter
Book Title: Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings (2022)
Page Reference: 78-95