research
∙
03/06/2023
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery
The use of autonomous robots for delivery of goods to customers is an ex...
share
research
∙
07/06/2022
Goal-Aware RSS for Complex Scenarios via Program Logic
We introduce a goal-aware extension of responsibility-sensitive safety (...
research
∙
05/14/2022
Practical Insights of Repairing Model Problems on Image Classification
Additional training of a deep learning model can cause negative effects ...
research
∙
03/01/2022
NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History
Systematic techniques to improve quality of deep neural networks (DNNs) ...
research
∙
08/17/2021
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty
Formal reasoning on the safety of controller systems interacting with pl...
research
∙
07/22/2021
Architecture-Guided Test Resource Allocation Via Logic
We introduce a new logic named Quantitative Confidence Logic (QCL) that ...
research
∙
10/02/2019
A Mutation-based Approach for Assessing Weight Coverage of a Path Planner
Autonomous cars are subjected to several different kind of inputs (other...
research
∙
07/31/2019