Hoang-Dung Tran
University of Nebraska-Lincoln
H-index: 22
North America-United States
Top articles of Hoang-Dung Tran
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy | Hoang-Dung Tran Diego Manzanas Lopez Taylor Johnson | 2023/9/17 | |
Decentralized Safe Control for Distributed Cyber-Physical Systems using Real-time Reachability Analysis | IEEE Transactions on Control of Network Systems | Luan Viet Nguyen Hoang-Dung Tran Taylor Johnson Vijay Gupta | 2023/1/24 |
Reachability Analysis of Sigmoidal Neural Networks | ACM Transactions on Embedded Computing Systems | Sung Woo Choi Michael Ivashchenko Luan V Nguyen Hoang-Dung Tran | 2023 |
NNV 2.0: The Neural Network Verification Tool | Diego Manzanas Lopez Sung Woo Choi Hoang-Dung Tran Taylor T Johnson | 2023/7/17 | |
Evaluation of neural network verification methods for air-to-air collision avoidance | Journal of Air Transportation | Diego Manzanas Lopez Taylor T Johnson Stanley Bak Hoang-Dung Tran Kerianne L Hobbs | 2023/1 |
Verifying Binary Neural Networks on Continuous Input Space using Star Reachability | Mykhailo Ivashchenko Sung Woo Choi Luan Viet Nguyen Hoang-Dung Tran | 2023/5/14 | |
Verification of Recurrent Neural Networks with Star Reachability | Hoang Dung Tran Sung Woo Choi Xiaodong Yang Tomoya Yamaguchi Bardh Hoxha | 2023/5/9 | |
Quantitative Verification for Neural Networks using ProbStars | Hoang-Dung Tran Sungwoo Choi Hideki Okamoto Bardh Hoxha Georgios Fainekos | 2023/5/9 | |
Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability | Stanley Bak Hoang-Dung Tran | 2022 | |
Neural network repair with reachability analysis | Xiaodong Yang Tom Yamaguchi Hoang-Dung Tran Bardh Hoxha Taylor T Johnson | 2022/8/29 | |
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter | Formal aspects of computing | Hoang-Dung Tran Neelanjana Pal Diego Manzanas Lopez Patrick Musau Xiaodong Yang | 2021/8 |
Reachability Analysis of Convolutional Neural Networks | arXiv preprint arXiv:2106.12074 | Xiaodong Yang Tomoya Yamaguchi Hoang-Dung Tran Bardh Hoxha Taylor T Johnson | 2021/6/22 |
Reachability analysis of deep ReLU neural networks using facet-vertex incidence. | Xiaodong Yang Taylor T Johnson Hoang-Dung Tran Tomoya Yamaguchi Bardh Hoxha | 2021/5/19 | |
Robustness verification of semantic segmentation neural networks using relaxed reachability | Hoang-Dung Tran Neelanjana Pal Patrick Musau Diego Manzanas Lopez Nathaniel Hamilton | 2021 | |
Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability | Diego Manzanas Lopez Taylor Johnson Hoang-Dung Tran Stanley Bak Xin Chen | 2021 | |
Reachable set estimation for neural network control systems: A simulation-guided approach | IEEE Transactions on Neural Networks and Learning Systems | Weiming Xiang Hoang-Dung Tran Xiaodong Yang Taylor T Johnson | 2020/5/14 |
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | EPiC Series in Computing | Taylor T Johnson Diego Manzanas Lopez Patrick Musau Hoang-Dung Tran Elena Botoeva | 2020/9 |
The Neural Network Verification (NNV) Tool | Hoang-Dung Tran Diego Manzanas Lopez Xiaodong Yang Patrick Musau Luan Viet Nguyen | 2020/4/21 | |
Verification approaches for learning-enabled autonomous cyber–physical systems | IEEE Design & Test | Hoang-Dung Tran Weiming Xiang Taylor T Johnson | 2020/8/12 |
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices | arXiv preprint arXiv:2003.01226 | Xiaodong Yang Hoang-Dung Tran Weiming Xiang Taylor Johnson | 2020/3/2 |