top of page

Publications

Conference Papers

POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.

Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li and Qi Zhu.

International Symposium on Automated Technology for Verification and Analysis (ATVA), October 2022. (to appear) [code]

DRIBO: Robust Deep Reinforcement Learning via Multi-View Information Bottleneck

Jiameng Fan and Wenchao Li.

International Conference on Machine Learning (ICML), July 2022. [pdf] [code]

Adversarial Training and Provable Robustness: A Tale of Two Objectives

Jiameng Fan and Wenchao Li.

AAAI Conference on Artificial Intelligence (AAAI), February 2021. [pdf] [code]

Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems.

Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi.

International Conference on Computer Aided Design (ICCAD), November 2020. [pdf]

ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems.

Jiameng Fan*, Chao Huang*, Wenchao Li, Xin Chen and Qi Zhu.

International Symposium on Automated Technology for Verification and Analysis (ATVA), October 2020. [pdf] [code]

Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks.

Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen and Qi Zhu.

International Conference on Embedded Software (EMSOFT), September 2020. [pdf]

Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems.

Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen and Qi Zhu.

International Conference on Computer Aided Design (ICCAD), November 2019. [pdf]

ReachNN: Reachability Analysis of Neural-Network Controlled Systems.

Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen and Qi Zhu.

International Conference on Embedded Software (EMSOFT), October 2019. [pdf] [code]

A Master-slave Control System for Lower Limb Rehabilitation Robot with Pedal-actuated Exoskeleton.

Gao Huang, Jiameng Fan, Weimin Zhang, Tony Xiao, Fei Meng, Marco Ceccarelli and Qiang Huang.

IEEE International Conference on Real-time Computing and Robotics (RCAR), June 2016. [pdf]

Workshop Papers

Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation.

Jiameng Fan and Wenchao Li.

International Conference on Learning Representation (ICLR), Workshop on Safe Machine Learning: Specification, Robustness, and Assurance, May 2019. [pdf]

bottom of page