research
∙
08/01/2022
Short-term Load Forecasting with Distributed Long Short-Term Memory
With the employment of smart meters, massive data on consumer behaviour ...
share
research
∙
07/31/2022
The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments
When assessing a software-based system, the results of statistical infer...
research
∙
06/21/2022
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems
Hazard and Operability Analysis (HAZOP) is a powerful safety analysis te...
research
∙
05/17/2022
Hierarchical Distribution-Aware Testing of Deep Learning
With its growing use in safety/security-critical applications, Deep Lear...
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
∙
09/14/2021
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems
While Deep Reinforcement Learning (DRL) provides transformational capabi...
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
∙
04/13/2021
Detecting Operational Adversarial Examples for Reliable Deep Learning
The utilisation of Deep Learning (DL) raises new challenges regarding it...
research
∙
01/25/2021
Joint Active and Passive Beamforming for Intelligent Reflecting Surface Aided Multiuser MIMO Communications
This letter investigates the joint active and passive beamforming optimi...
research
∙
12/05/2020
BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations
A key impediment to the use of AI is the lacking of transparency, especi...
research
∙
10/16/2020
Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers
This paper studies the embedding and synthesis of knowledge in tree ense...
research
∙
10/09/2020
Partially-Connected Hybrid Beamforming for Spectral Efficiency Maximization via a Weighted MMSE Equivalence
Hybrid beamforming (HBF) is an attractive technology for practical massi...
research
∙
08/19/2020
Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles
Context: Demonstrating high reliability and safety for safety-critical s...
research
∙
03/07/2020
A Safety Framework for Critical Systems Utilising Deep Neural Networks
Increasingly sophisticated mathematical modelling processes from Machine...
research
∙
08/22/2019
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
The battery is a key component of autonomous robots. Its performance lim...
research
∙
08/19/2019
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing
There is an urgent societal need to assess whether autonomous vehicles (...
research
∙
12/10/2018