| 2026 | AAAI | Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint). | Yujie Yang, Hanjiang Hu, Tianhao Wei, Shengbo Eben Li, Changliu Liu |
| 2025 | CAV | ModelVerification.jl: A Comprehensive Toolbox for Formally Verifying Deep Neural Networks. | Tianhao Wei, Hanjiang Hu, Luca Marzari, Kai S. Yun, Peizhi Niu, Xusheng Luo, Changliu Liu |
| 2024 | AISTATS | Pixel-wise Smoothing for Certified Robustness against Camera Motion Perturbations. | Hanjiang Hu, Zuxin Liu, Linyi Li, Jiacheng Zhu, Ding Zhao |
| 2024 | CoRL | Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation. | Hanjiang Hu, Yujie Yang, Tianhao Wei, Changliu Liu |
| 2024 | ICRA | Influence of Camera-LiDAR Configuration on 3D Object Detection for Autonomous Driving. | Ye Li, Hanjiang Hu, Zuxin Liu, Xiaohao Xu, Xiaonan Huang, Ding Zhao |
| 2023 | ICML | Towards Robust and Safe Reinforcement Learning with Benign Off-policy Data. | Zuxin Liu, Zijian Guo, Zhepeng Cen, Huan Zhang, Yihang Yao, Hanjiang Hu, Ding Zhao |
| 2023 | IROS | SeasonDepth: Cross-Season Monocular Depth Prediction Dataset and Benchmark Under Multiple Environments. | Hanjiang Hu, Baoquan Yang, Zhijian Qiao, Shiqi Liu, Jiacheng Zhu, Zuxin Liu, Wenhao Ding, Ding Zhao, Hesheng Wang |
| 2022 | CoRL | Robustness Certification of Visual Perception Models via Camera Motion Smoothing. | Hanjiang Hu, Zuxin Liu, Linyi Li, Jiacheng Zhu, Ding Zhao |
| 2022 | CVPR | Investigating the Impact of Multi-LiDAR Placement on Object Detection for Autonomous Driving. | Hanjiang Hu, Zuxin Liu, Sharad Chitlangia, Akhil Agnihotri, Ding Zhao |
| 2021 | IROS | Soft Manipulator Fault Detection and Identification Using ANC-based LSTM. | Haoyuan Gu, Hanjiang Hu, Hesheng Wang, Weidong Chen |
| 2021 | IROS | A Registration-aided Domain Adaptation Network for 3D Point Cloud Based Place Recognition. | Zhijian Qiao, Hanjiang Hu, Weiang Shi, Siyuan Chen, Zhe Liu, Hesheng Wang |
| 2021 | ICRA | Distributed Rendezvous Control of Networked Uncertain Robotic Systems with Bearing Measurements. | Jianing Zhao, Hanjiang Hu, Keyi Zhu, Xiao Yu, Hesheng Wang |
| 2020 | ICRA | A Synchronization Approach for Achieving Cooperative Adaptive Cruise Control Based Non-Stop Intersection Passing. | Zhe Liu, Huanshu Wei, Hanjiang Hu, Chuanzhe Suo, Hesheng Wang, Haoang Li, Yun-Hui Liu |
| 2019 | IROS | Retrieval-based Localization Based on Domain-invariant Feature Learning under Changing Environments. | Hanjiang Hu, Hesheng Wang, Zhe Liu, Chenguang Yang, Weidong Chen, Le Xie |