摘要: |
The Assurance for Learning-Enabled Systems project develops an integrated well-founded approach to the co-design ofcyberphyical systems with learning-enabled components and their assurance arguments for both perception and control. Theapproach was based on a theory of mind-predictive processing (PP) complemented with the dual process theories of reasoning.The research developed a two-layered runtime monitor using generative modeling in the first layer and graph Markov neuralnetworks based neurosymbolic contextual modeling in the second layer. |