research
∙
08/18/2023
Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction
Deploying deep learning models in safety-critical applications remains a...
share
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,...
research
∙
02/06/2023
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Deep neural networks (DNNs) are increasingly used in safety-critical aut...
research
∙
11/30/2022
Specification Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems
Over the past two decades, researchers and engineers have extensively st...
research
∙
09/28/2022
Towards Adaptive Planning of Assistive-care Robot Tasks
This 'research preview' paper introduces an adaptive path planning frame...
research
∙
09/28/2022
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems
We present a formal tasK AllocatioN and scheduling apprOAch for multi-ro...
research
∙
08/25/2022
Software Performability Analysis Using Fast Parametric Model Checking
We present an efficient parametric model checking (PMC) technique for th...
research
∙
05/07/2022
PRESTO: Predicting System-level Disruptions through Parametric Model Checking
Self-adaptive systems are expected to mitigate disruptions by continuall...
research
∙
02/07/2022
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components
We present DEEPDECS, a new method for the synthesis of correct-by-constr...
research
∙
09/30/2021
High-Availability Clusters: A Taxonomy, Survey, and Future Directions
The delivery of key services in domains ranging from finance and manufac...
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/03/2021
Uncertainty in Self-Adaptive Systems: A Research Community Perspective
One of the primary drivers for self-adaptation is ensuring that systems ...
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/05/2021
Maintaining driver attentiveness in shared-control autonomous driving
We present a work-in-progress approach to improving driver attentiveness...
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
∙
02/02/2021
Fast Parametric Model Checking through Model Fragmentation
Parametric model checking (PMC) computes algebraic formulae that express...
research
∙
07/17/2020
Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
The coordinated assurance of interrelated critical properties, such as s...
research
∙
07/07/2020
Safety Controller Synthesis for Collaborative Robots
In human-robot collaboration (HRC), software-based automatic safety cont...
research
∙
06/16/2020
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
The use of autonomous vehicles in real-world applications is often precl...
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
∙
03/12/2019
Perpetual Assurances for Self-Adaptive Systems
Providing assurances for self-adaptive systems is challenging. A primary...
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