From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.

H. Tran, X. Yang, D. Lopez, P. Musau, L. Nguyen, W. Xiang, S. Bak, и T. Johnson. CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 3-17. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Hoang-Dung Tran

Tran Ngoc Dung

Tran Trung Dung

Tran the Dung

Tran Anh Dung

Другие публикации лиц с тем же именем

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks.S. Bak, H. Tran, K. Hobbs, и T. Johnson. CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 66-96. Springer, (2020)Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability.S. Bak, и H. Tran. CoRR, (2022)Neural Network Repair with Reachability Analysis.X. Yang, T. Yamaguchi, H. Tran, B. Hoxha, T. Johnson, и D. Prokhorov. CoRR, (2021)Verification of Recurrent Neural Networks with Star Reachability.H. Tran, S. Choi, X. Yang, T. Yamaguchi, B. Hoxha, и D. Prokhorov. HSCC, стр. 6:1-6:13. ACM, (2023)Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis.H. Tran, L. Nguyen, и T. Johnson. ARCH@CPSWeek, том 34 из EPiC Series in Computing, стр. 89-97. EasyChair, (2015)Verification of Closed-loop Systems with Neural Network Controllers.D. Lopez, P. Musau, H. Tran, и T. Johnson. ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 201-210. EasyChair, (2019)Parallelizable reachability analysis algorithms for feed-forward neural networks.H. Tran, P. Musau, D. Lopez, X. Yang, L. Nguyen, W. Xiang, и T. Johnson. FormaliSE@ICSE, стр. 31-40. IEEE / ACM, (2019)Star-Based Reachability Analysis of Deep Neural Networks.H. Tran, D. Lopez, P. Musau, X. Yang, L. Nguyen, W. Xiang, и T. Johnson. FM, том 11800 из Lecture Notes in Computer Science, стр. 670-686. Springer, (2019)On reachable set estimation for discrete-time switched linear systems under arbitrary switching.W. Xiang, H. Tran, и T. Johnson. ACC, стр. 4534-4539. IEEE, (2017)NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.H. Tran, X. Yang, D. Lopez, P. Musau, L. Nguyen, W. Xiang, S. Bak, и T. Johnson. CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 3-17. Springer, (2020)

BibSonomy

Disambiguation