| Output reachable set estimation and verification for multilayer neural networks W Xiang, HD Tran, TT Johnson IEEE Transactions on Neural Networks and Learning Systems (TNNLS) 29 (11 …, 2018 | 370 | 2018 |
| NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems HD Tran, X Yang, DM Lopez, P Musau, LV Nguyen, W Xiang, S Bak, ... 32nd International Conference on Computer-Aided Verification (CAV), 2020 | 330 | 2020 |
| Detection of false-data injection attacks in cyber-physical DC microgrids OA Beg, TT Johnson, A Davoudi IEEE Transactions on industrial informatics 13 (5), 2693-2703, 2017 | 304 | 2017 |
| Star-Based Reachability Analysis of Deep Neural Networks HD Tran, DM Lopez, P Musau, X Yang, LV Nguyen, W Xiang, TT Johnson 23rd International Symposium on Formal Methods (FM), 2019 | 226 | 2019 |
| Verification of Deep Convolutional Neural Networks Using ImageStars HD Tran, S Bak, W Xiang, TT Johnson 32nd International Conference on Computer-Aided Verification (CAV), 2020 | 164 | 2020 |
| Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control HD Tran, F Cai, ML Diego, P Musau, TT Johnson, X Koutsoukos ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-22, 2019 | 153 | 2019 |
| Improved Geometric Path Enumeration for Verifying ReLU Neural Networks S Bak, HD Tran, K Hobbs, TT Johnson 32nd International Conference on Computer-Aided Verification (CAV), 2020 | 148 | 2020 |
| Reachable set computation and safety verification for neural networks with relu activations W Xiang, HD Tran, TT Johnson arXiv preprint arXiv:1712.08163, 2017 | 132 | 2017 |
| Signal temporal logic-based attack detection in DC microgrids OA Beg, LV Nguyen, TT Johnson, A Davoudi IEEE Transactions on Smart Grid 10 (4), 3585-3595, 2018 | 125 | 2018 |
| The second international verification of neural networks competition (vnn-comp 2021): Summary and results S Bak, C Liu, T Johnson arXiv preprint arXiv:2109.00498, 2021 | 124 | 2021 |
| Verification for machine learning, autonomy, and neural networks survey W Xiang, P Musau, AA Wild, DM Lopez, N Hamilton, X Yang, J Rosenfeld, ... arXiv preprint arXiv:1810.01989, 2018 | 123 | 2018 |
| HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models S Bak, S Bogomolov, TT Johnson 18th International Conference on Hybrid Systems: Computation and Control …, 2015 | 121 | 2015 |
| Real-Time Reachability for Verified Simplex Design S Bak, TT Johnson, M Caccamo, L Sha 35th IEEE Real-Time Systems Symposium (RTSS), 2014 | 96 | 2014 |
| Reachable set estimation for neural network control systems: A simulation-guided approach W Xiang, HD Tran, X Yang, TT Johnson IEEE Transactions on Neural Networks and Learning Systems 32 (5), 1821-1830, 2020 | 94 | 2020 |
| First three years of the international verification of neural networks competition (VNN-COMP) C Brix, MN Müller, S Bak, TT Johnson, C Liu International Journal on Software Tools for Technology Transfer 25 (3), 329-339, 2023 | 89 | 2023 |
| Reachable Set Estimation and Verification for a Class of Piecewise Linear Systems with Neural Network Controllers W Xiang, HD Tran, JA Rosenfeld, TT Johnson | 80* | 2018 |
| Output reachable set estimation for switched linear systems and its application in safety verification W Xiang, HD Tran, TT Johnson IEEE Transactions on Automatic Control 62 (10), 5380-5387, 2017 | 78 | 2017 |
| Reachability analysis and safety verification for neural network control systems W Xiang, TT Johnson arXiv preprint arXiv:1805.09944, 2018 | 77 | 2018 |
| Event‐triggered control for continuous‐time switched linear systems W Xiang, T T. Johnson IET Control Theory & Applications 11 (11), 1694-1703, 2017 | 74 | 2017 |
| The third international verification of neural networks competition (VNN-COMP 2022): Summary and results MN Müller, C Brix, S Bak, C Liu, TT Johnson arXiv preprint arXiv:2212.10376, 2022 | 71 | 2022 |
Hoang-Dung TranUniversity of Nebraska at Lincolnunl.edu의 이메일 확인됨
