research
∙
03/05/2021
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features
Intensive research has been conducted on the verification and validation...
share
research
∙
10/16/2020
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics
This paper presents a formal verification guided approach for a principl...
research
∙
03/07/2020
A Safety Framework for Critical Systems Utilising Deep Neural Networks
Increasingly sophisticated mathematical modelling processes from Machine...
research
∙
02/06/2020
Reliability Validation of Learning Enabled Vehicle Tracking
This paper studies the reliability of a real-world learning-enabled syst...
research
∙
11/05/2019
Test Metrics for Recurrent Neural Networks
Recurrent neural networks (RNNs) have been applied to a broad range of a...
research
∙
06/20/2019