| emsoft | participants

Jiameng Fan

EMSOFT 2020: 20th International Conference on Embedded Software

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

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

EMSOFT 2019: 19th International Conference on Embedded Software

ReachNN: Reachability Analysis of Neural-Network Controlled Systems

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