Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability
Stanley Bak, Hoang-Dung Tran
Topics & Concepts
Computer scienceState (computer science)Artificial neural networkLoop (graph theory)AlgorithmArtificial intelligenceMathematicsCombinatoricsAdversarial Robustness in Machine LearningFault Detection and Control SystemsModel Reduction and Neural Networks