Picture for Hanjiang Hu

Hanjiang Hu

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks

Add code
Jun 30, 2024
Viaarxiv icon

The RoboDrive Challenge: Drive Anytime Anywhere in Any Condition

Add code
May 14, 2024
Viaarxiv icon

Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation

Add code
Apr 20, 2024
Viaarxiv icon

Optimizing LiDAR Placements for Robust Driving Perception in Adverse Conditions

Add code
Mar 25, 2024
Figure 1 for Optimizing LiDAR Placements for Robust Driving Perception in Adverse Conditions
Figure 2 for Optimizing LiDAR Placements for Robust Driving Perception in Adverse Conditions
Figure 3 for Optimizing LiDAR Placements for Robust Driving Perception in Adverse Conditions
Figure 4 for Optimizing LiDAR Placements for Robust Driving Perception in Adverse Conditions
Viaarxiv icon

RoboDepth: Robust Out-of-Distribution Depth Estimation under Corruptions

Add code
Oct 23, 2023
Viaarxiv icon

Influence of Camera-LiDAR Configuration on 3D Object Detection for Autonomous Driving

Add code
Oct 08, 2023
Viaarxiv icon

Pixel-wise Smoothing for Certified Robustness against Camera Motion Perturbations

Add code
Sep 22, 2023
Viaarxiv icon

The RoboDepth Challenge: Methods and Advancements Towards Robust Depth Estimation

Add code
Jul 27, 2023
Viaarxiv icon

Datasets and Benchmarks for Offline Safe Reinforcement Learning

Add code
Jun 16, 2023
Viaarxiv icon

Robustness Certification of Visual Perception Models via Camera Motion Smoothing

Add code
Oct 04, 2022
Figure 1 for Robustness Certification of Visual Perception Models via Camera Motion Smoothing
Figure 2 for Robustness Certification of Visual Perception Models via Camera Motion Smoothing
Figure 3 for Robustness Certification of Visual Perception Models via Camera Motion Smoothing
Figure 4 for Robustness Certification of Visual Perception Models via Camera Motion Smoothing
Viaarxiv icon