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
∙
12/09/2021
Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers
In this paper, we study linear forms λ = β_1e^α_1+⋯+β_me^α_m, ...
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