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

Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu 0002. ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. In Dang Van Hung, Oleg Sokolsky, editors, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings. Volume 12302 of Lecture Notes in Computer Science, pages 537-542, Springer, 2020. [doi]

Authors

Jiameng Fan

This author has not been identified. Look up 'Jiameng Fan' in Google

Chao Huang

This author has not been identified. Look up 'Chao Huang' in Google

Xin Chen

This author has not been identified. Look up 'Xin Chen' in Google

Wenchao Li

This author has not been identified. Look up 'Wenchao Li' in Google

Qi Zhu 0002

This author has not been identified. Look up 'Qi Zhu 0002' in Google