research
∙
08/11/2023
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications
We study challenges using reinforcement learning in controlling energy s...
share
research
∙
09/23/2022
Facilitating Change Implementation for Continuous ML-Safety Assurance
We propose a method for deploying a safety-critical machine-learning com...
research
∙
02/10/2022
Unaligned but Safe – Formally Compensating Performance Limitations for Imprecise 2D Object Detection
In this paper, we consider the imperfection within machine learning-base...
research
∙
01/14/2022
A causal model of safety assurance for machine learning
This paper proposes a framework based on a causal model of safety upon w...
research
∙
11/04/2021
Logically Sound Arguments for the Effectiveness of ML Safety Measures
We investigate the issues of achieving sufficient rigor in the arguments...
research
∙
07/23/2021
