Publications (32)
Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks
Jiaxing Li, Hanjiang Hu, Yujie Yang +1
RoboDepth: Robust Out-of-Distribution Depth Estimation under Corruptions
Lingdong Kong, Shaoyuan Xie, Hanjiang Hu +3
Inference-Time Robot Behavior Steering through Physically-Aware Reconfiguration of Task-Structure
Yiyuan Pan, Hanjiang Hu, Shangtao Li +2
Online Safety Filter for Deformable Object Manipulation with Horizon Agnostic Neural Operators
Jiaxing Li, Hanjiang Hu, Zhuoyuan Wang +2
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis
Yujie Yang, Hanjiang Hu, Tianhao Wei +2
Is Your LiDAR Placement Optimized for 3D Scene Understanding?
Ye Li, Lingdong Kong, Hanjiang Hu +2
The RoboDepth Challenge: Methods and Advancements Towards Robust Depth Estimation
Lingdong Kong, Yaru Niu, Shaoyuan Xie +39
The RoboDrive Challenge: Drive Anytime Anywhere in Any Condition
Lingdong Kong, Shaoyuan Xie, Hanjiang Hu +88
The RoboSense Challenge: Sense Anything, Navigate Anywhere, Adapt Across Platforms
Lingdong Kong, Shaoyuan Xie, Zeying Gong +135
SafeBench: A Benchmarking Platform for Safety Evaluation of Autonomous Vehicles
Chejian Xu, Wenhao Ding, Weijie Lyu +6
Investigating the Impact of Multi-LiDAR Placement on Object Detection for Autonomous Driving
Hanjiang Hu, Zuxin Liu, Sharad Chitlangia +2
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
Tianhao Wei, Hanjiang Hu, Luca Marzari +4
Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation
Hanjiang Hu, Jianglin Lan, Changliu Liu
Pixel-wise Smoothing for Certified Robustness against Camera Motion Perturbations
Hanjiang Hu, Zuxin Liu, Linyi Li +2
Domain-invariant Similarity Activation Map Contrastive Learning for Retrieval-based Long-term Visual Localization
Hanjiang Hu, Hesheng Wang, Zhe Liu +1
Influence of Camera-LiDAR Configuration on 3D Object Detection for Autonomous Driving
Ye Li, Hanjiang Hu, Zuxin Liu +3
Training Task Reasoning LLM Agents for Multi-turn Task Planning via Single-turn Reinforcement Learning
Hanjiang Hu, Changliu Liu, Na Li +1
Emergent Neural Automaton Policies: Learning Symbolic Structure from Visuomotor Trajectories
Yiyuan Pan, Xusheng Luo, Hanjiang Hu +2
A Registration-aided Domain Adaptation Network for 3D Point Cloud Based Place Recognition
Zhijian Qiao, Hanjiang Hu, Weiang Shi +3
Safe PDE Boundary Control with Neural Operators
Hanjiang Hu, Changliu Liu
Datasets and Benchmarks for Offline Safe Reinforcement Learning
Zuxin Liu, Zijian Guo, Haohong Lin +8
Robustness Certification of Visual Perception Models via Camera Motion Smoothing
Hanjiang Hu, Zuxin Liu, Linyi Li +2
Steering Dialogue Dynamics for Robustness against Multi-turn Jailbreaking Attacks
Hanjiang Hu, Alexander Robey, Changliu Liu
Retrieval-based Localization Based on Domain-invariant Feature Learning under Changing Environments
Hanjiang Hu, Hesheng Wang, Zhe Liu +3
SeasonDepth: Cross-Season Monocular Depth Prediction Dataset and Benchmark under Multiple Environments
Hanjiang Hu, Baoquan Yang, Zhijian Qiao +6
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
Hanjiang Hu, Yujie Yang, Tianhao Wei +1
Enhancing Certifiable Semantic Robustness via Robust Pruning of Deep Neural Networks
Hanjiang Hu, Bowei Li, Ziwei Wang +4
Robust Tracking Control with Neural Network Dynamic Models under Input Perturbations
Huixuan Cheng, Hanjiang Hu, Changliu Liu
OpInf-LLM: Parametric PDE Solving with LLMs via Operator Inference
Zhuoyuan Wang, Hanjiang Hu, Xiyu Deng +2
VLESA: Vision-Language Embodied Safety Agent for Human Activity Monitoring
Hanjiang Hu, Yiyuan Pan, Jiaxing Li +5
DASGIL: Domain Adaptation for Semantic and Geometric-aware Image-based Localization
Hanjiang Hu, Zhijian Qiao, Ming Cheng +2
Verified Task-Space Motion Planning Under Joint-Space Constraints
Hanjiang Hu, Changliu Liu, Yebin Wang