Dwyer, Sebastian Elbaum).Pages 97-121įormal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI (Daniel J. Systematic Generation of Diverse Benchmarks for DNN Verification (Dong Xu, David Shriver, Matthew B. Improved Geometric Path Enumeration for Verifying ReLU Neural Networks (Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson).Pages 18-42Īn Abstraction-Based Framework for Neural Network Verification (Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz).Pages 43-65 Verification of Deep Convolutional Neural Networks Using ImageStars (Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. ![]() NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems (Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang et al.).Pages 3-17
0 Comments
Leave a Reply. |