Jiameng Fan

ReachNN

Chao Huang, Jiameng Fan, Wenchao Li et al. · ACM Transactions on Embedded Computing Systems · 2019 · 148 citations · Full text

Computing, Computer Science, Mathematics +16

ReachNN: Reachability Analysis of Neural-Network Controlled Systems

Chao Huang, Jiameng Fan, Wenchao Li et al. · arXiv (Cornell University) · 2019 · 27 citations · Full text

Computing, Computer Science, Formal Methods +15

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau et al. · EPiC series in computing · 2020 · 26 citations · Full text

Computing, Computer Science, Systems Engineering +16

Know the unknowns

Qi Zhu, Wenchao Li, Hyoseung Kim et al. · 2020 · 20 citations

Computing, Autonomous Systems, Computer Science +17

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

Chao Huang, Jiameng Fan, Xin Chen et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2020 · 18 citations

Computing, Computer Science, Algorithms +16