research
∙
06/07/2023
Faithful Knowledge Distillation
Knowledge distillation (KD) has received much attention due to its succe...
share
research
∙
05/17/2023
Provably Correct Physics-Informed Neural Networks
Recent work provides promising evidence that Physics-informed neural net...
research
∙
04/25/2023
Certifying Ensembles: A General Certification Theory with S-Lipschitzness
Improving and guaranteeing the robustness of deep learning models has be...
research
∙
08/05/2021
Interpretable Goal Recognition in the Presence of Occluded Factors for Autonomous Vehicles
Recognising the goals or intentions of observed vehicles is a key step t...
research
∙
07/09/2021
ANCER: Anisotropic Certification via Sample-wise Volume Maximization
Randomized smoothing has recently emerged as an effective tool that enab...
research
∙
11/01/2020
PILOT: Efficient Planning by Imitation Learning and Optimisation for Safe Autonomous Driving
Achieving the right balance between planning quality, safety and runtime...
research
∙
02/06/2020
Integrating Planning and Interpretable Goal Recognition for Autonomous Driving
The ability to predict the intentions and driving trajectories of other ...
research
∙
02/06/2020
A Two-Stage Optimization Approach to Safe-by-Design Planning for Autonomous Driving
Lessons learned from the increasing diversity of road trial deployments ...
research
∙
01/07/2020
PaRoT: A Practical Framework for Robust Deep NeuralNetwork Training
Deep Neural Networks (DNNs) are finding important applications in safety...
research
∙
01/07/2020
PaRoT: A Practical Framework for Robust Deep Neural Network Training
Deep Neural Networks (DNNs) are finding important applications in safety...
research
∙
07/22/2019
Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture
Research into safety in autonomous and semi-autonomous vehicles has, so ...
research
∙
04/25/2018