50 citations · 87 across the 6 of their papers we have counts for
6 papers
Adaptive Human-Swarm Interaction based on Workload Measurement using Functional Near-Infrared Spectroscopy
Ayodeji O. Abioye, Aleksandra Landowska, William Hunt +5
One of the challenges of human-swarm interaction (HSI) is how to manage the operator's workload. In order to do this, we propose a novel neurofeedback technique for the real-time m…
Hierarchical Distribution-Aware Testing of Deep Learning
Wei Huang, Xingyu Zhao, Alec Banks +2
Deep Learning (DL) is increasingly used in safety-critical applications, raising concerns about its reliability. DL suffers from a well-known problem of lacking robustness, especia…
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance
Yi Dong, Wei Huang, Vibhav Bharti +6
The increasing use of Machine Learning (ML) components embedded in autonomous systems -- so-called Learning-Enabled Systems (LESs) -- has resulted in the pressing need to assure th…
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles
Xingyu Zhao, Wei Huang, Alec Banks +4
The utilisation of Deep Learning (DL) is advancing into increasingly more sophisticated applications. While it shows great potential to provide transformational capabilities, DL al…
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
Wei Huang, Yifan Zhou, Gaojie Jin +4
This paper presents a formal verification guided approach for a principled design and implementation of robust and resilient learning-enabled systems. We focus on learning-enabled…
A Safety Framework for Critical Systems Utilising Deep Neural Networks
Xingyu Zhao, Alec Banks, James Sharp +4
Increasingly sophisticated mathematical modelling processes from Machine Learning are being used to analyse complex data. However, the performance and explainability of these model…