Verifying ReLU Neural Networks from a Model Checking Perspective
Wanwei Liu, Fu Song, Tang-Hao-Ran Zhang, Ji Wang
Topics & Concepts
Computer scienceModel checkingReachabilityArtificial neural networkDecidabilityRelation (database)Semantics (computer science)Perspective (graphical)Theory of computationTheoretical computer scienceDomain (mathematical analysis)Reachability problemTemporal logicAlgorithmArtificial intelligenceProgramming languageData miningMathematical analysisMathematicsFormal Methods in VerificationAdversarial Robustness in Machine LearningSoftware Testing and Debugging Techniques