research
∙
08/11/2023
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models
Robust pedestrian trajectory forecasting is crucial to developing safe a...
share
research
∙
02/10/2023
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
Constraint solving is an elementary way for verification of deep neural ...
research
∙
11/23/2022
Safety Analysis of Autonomous Driving Systems Based on Model Learning
We present a practical verification method for safety analysis of the au...
research
∙
07/18/2022
In-plane prestressed hair clip mechanism for the fastest untethered compliant fish robot
A trend has emerged over the past decades pointing to the harnessing of ...
research
∙
06/29/2022
In-plane prestressing: Inspiration from a hair clip
Structural instability is a hazard that leads to catastrophic failure an...
research
∙
06/01/2022
Defensive Design of Saturating Counters Based on Differential Privacy
The saturating counter is the basic module of the dynamic branch predict...
research
∙
01/23/2022
Weight Expansion: A New Perspective on Dropout and Generalization
While dropout is known to be a successful regularization technique, insi...
research
∙
06/05/2021
Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness
In this paper, we propose a framework of filter-based ensemble of deep n...
research
∙
01/25/2021
Probabilistic Robustness Analysis for DNNs based on PAC Learning
This paper proposes a black box based approach for analysing deep neural...
research
∙
10/15/2020
Improving Neural Network Verification through Spurious Region Guided Refinement
We propose a spurious region guided refinement approach for robustness v...
research
∙
08/27/2019
Asymptotically Optimal One- and Two-Sample Testing with Kernels
We characterize the asymptotic performance of nonparametric one- and two...
research
∙
02/26/2019
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Deep neural networks (DNNs) have been shown lack of robustness for the v...
research
∙
02/21/2018