Publications

Conference Papers

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. (to appear)

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 (to appear).

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]

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]

Preprints

Adversarial Training and Provable Robustness: A Tale of Two Objectives

Jiameng Fan and Wenchao Li. (under review) [pdf]