research
∙
07/07/2023
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents
Autonomous agents are increasingly being proposed for use in healthcare,...
share
research
∙
05/07/2022
PRESTO: Predicting System-level Disruptions through Parametric Model Checking
Self-adaptive systems are expected to mitigate disruptions by continuall...
research
∙
09/07/2021
Quantitative Verification with Adaptive Uncertainty Reduction
Stochastic models are widely used to verify whether systems satisfy thei...
research
∙
06/11/2021
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
We present a tool-supported approach for the synthesis, verification and...
research
∙
03/19/2021
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning
Two established approaches to engineer adaptive systems are architecture...
research
∙
03/02/2021
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers
We introduce DeepCert, a tool-supported method for verifying the robustn...
research
∙
02/02/2021
Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS)
Machine Learning (ML) is now used in a range of systems with results tha...
research
∙
11/28/2019
Detection and Mitigation of Rare Subclasses in Neural Network Classifiers
Regions of high-dimensional input spaces that are underrepresented in tr...
research
∙
05/10/2019
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges
Machine learning has evolved into an enabling technology for a wide rang...
research
∙
12/24/2018
Efficient Parametric Model Checking Using Domain Knowledge
We introduce an efficient parametric model checking (ePMC) method for th...
research
∙
05/24/2018