Formal Specification for Learning-Enabled Autonomous Systems
Attributed to:
EnnCore: End-to-End Conceptual Guarding of Neural Architectures
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-21222-2_8
Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85144816293
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: 131-143