research
∙
05/31/2023
Incremental Randomized Smoothing Certification
Randomized smoothing-based certification is an effective approach for ob...
share
research
∙
04/04/2023
Incremental Verification of Neural Networks
Complete verification of deep neural networks (DNNs) can exactly determi...
research
∙
03/16/2023
Mobiprox: Supporting Dynamic Approximate Computing on Mobiles
Runtime-tunable context-dependent network compression would make mobile ...
research
∙
08/03/2022
Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos
Modern autonomous vehicle systems use complex perception and control com...
research
∙
07/22/2022
Training Certifiably Robust Neural Networks Against Semantic Perturbations
Semantic image perturbations, such as scaling and rotation, have been sh...
research
∙
11/10/2021
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Convolutional Neural Networks (CNN) for object detection, lane detection...
research
∙
09/16/2018