research
∙
05/17/2022
Hierarchical Distribution-Aware Testing of Deep Learning
With its growing use in safety/security-critical applications, Deep Lear...
share
research
∙
11/30/2021
Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems
The increasing use of Machine Learning (ML) components embedded in auton...
research
∙
06/02/2021
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles
The utilisation of Deep Learning (DL) is advancing into increasingly mor...
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
