ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems
Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu
Topics & Concepts
ReachabilityComputer scienceArtificial neural networkLipschitz continuityController (irrigation)Set (abstract data type)Theoretical computer scienceAlgorithmArtificial intelligenceMathematicsProgramming languageBiologyAgronomyMathematical analysisAdversarial Robustness in Machine LearningFormal Methods in VerificationFault Detection and Control Systems