Guaranteed cost static output feedback for networked control systems. - Hoang-Dung Tran; Quang Phuc Ha; Quang-Vinh Dang 003 (ICARCV, 2014)

Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis. - Hoang-Dung Tran; Luan Viet Nguyen; Taylor T. Johnson (ARCH@CPSWeek, 2015)

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. - Parasara Sridhar Duggirala; Chuchu Fan; Matthew Potok; Bolun Qi; Sayan Mitra; Mahesh Viswanathan 001; Stanley Bak; Sergiy Bogomolov; Taylor T. Johnson; Luan Viet Nguyen; Christian Schilling 001; Andrew Sogokon; et al. (CCA, 2016)

Reachable set estimation and control for switched linear systems with dwell-time restriction. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (CDC, 2016)

Large-Scale Linear Systems from Order-Reduction. - Hoang-Dung Tran; Luan Viet Nguyen; Taylor T. Johnson (ARCH@CPSWeek, 2016)

Deadlock Avoidance for Resource Allocation Model V VM-out-of-N PM. - Ha Huy Cuong Nguyen; Hoang-Dung Tran; Doan Van Thang; Vu Thi Phuong Anh (ICCASA, 2016)

On reachable set estimation for discrete-time switched linear systems under arbitrary switching. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (ACC, 2017)

Distributed Autonomous Systems. - Hoang-Dung Tran; Luan Viet Nguyen; Weiming Xiang 001; Taylor T. Johnson (ARCH@CPSWeek, 2017)

Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (CoRR, 2017)

Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (CoRR, 2017)

Order-reduction abstractions for safety verification of high-dimensional linear systems. - Hoang-Dung Tran; Luan Viet Nguyen; Weiming Xiang 001; Taylor T. Johnson (Discret. Event Dyn. Syst., 2017)

Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (IEEE Trans. Autom. Control., 2017)

Linear Differential-Algebraic Equations (Benchmark Proposal). - Patrick Musau; Diego Manzanas Lopez; Hoang-Dung Tran; Taylor T. Johnson (ARCH@ADHS, 2018)

Discrete-Space Analysis of Partial Differential Equations. - Hoang-Dung Tran; Tianshu Bao; Taylor T. Johnson (ARCH@ADHS, 2018)

Reachability Analysis for One Dimensional Linear Parabolic Equations. - Hoang-Dung Tran; Weiming Xiang 001; Stanley Bak; Taylor T. Johnson (ADHS, 2018)

Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers. - Weiming Xiang 001; Hoang-Dung Tran; Joel A. Rosenfeld; Taylor T. Johnson (ACC, 2018)

Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations. - Hoang-Dung Tran; Weiming Xiang 001; Nathaniel Hamilton; Taylor T. Johnson (CoRR, 2018)

Specification-Guided Safety Verification for Feedforward Neural Networks. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (CoRR, 2018)

Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems Under Arbitrary Switching. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (IEEE Trans. Autom. Control., 2018)

Output Reachable Set Estimation and Verification for Multilayer Neural Networks. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (IEEE Trans. Neural Networks Learn. Syst., 2018)

ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. - Diego Manzanas Lopez; Patrick Musau; Hoang-Dung Tran; Souradeep Dutta; Taylor J. Carpenter; Radoslav Ivanov; Taylor T. Johnson (ARCH@CPSIoTWeek, 2019)

Verification of Closed-loop Systems with Neural Network Controllers. - Diego Manzanas Lopez; Patrick Musau; Hoang-Dung Tran; Taylor T. Johnson (ARCH@CPSIoTWeek, 2019)

Star-Based Reachability Analysis of Deep Neural Networks. - Hoang-Dung Tran; Diego Manzanas Lopez; Patrick Musau; Xiaodong Yang; Luan Viet Nguyen; Weiming Xiang 001; Taylor T. Johnson (FM, 2019)

Reachability Analysis for High-Index Linear Differential Algebraic Equations. - Hoang-Dung Tran; Luan Viet Nguyen; Nathaniel Hamilton; Weiming Xiang 001; Taylor T. Johnson (FORMATS, 2019)

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems. - Hoang-Dung Tran; Luan Viet Nguyen; Patrick Musau; Weiming Xiang 001; Taylor T. Johnson (FORTE, 2019)

Numerical verification of affine systems with up to a billion dimensions. - Stanley Bak; Hoang-Dung Tran; Taylor T. Johnson (HSCC, 2019)

Parallelizable reachability analysis algorithms for feed-forward neural networks. - Hoang-Dung Tran; Patrick Musau; Diego Manzanas Lopez; Xiaodong Yang; Luan Viet Nguyen; Weiming Xiang 001; Taylor T. Johnson (FormaliSE@ICSE, 2019)

Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (IEEE Trans. Autom. Control., 2019)

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. - Hoang-Dung Tran; Feiyang Cai; Diego Manzanas Lopez; Patrick Musau; Taylor T. Johnson; Xenofon D. Koutsoukos (ACM Trans. Embed. Comput. Syst., 2019)

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. - Taylor T. Johnson; Diego Manzanas Lopez; Patrick Musau; Hoang-Dung Tran; Elena Botoeva; Francesco Leofante; Amir Maleki; Chelsea Sidrane; Jiameng Fan; Chao Huang 015 (ARCH, 2020)

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks. - Stanley Bak; Hoang-Dung Tran; Kerianne Hobbs; Taylor T. Johnson (CAV (1), 2020)

Verification of Deep Convolutional Neural Networks Using ImageStars. - Hoang-Dung Tran; Stanley Bak; Weiming Xiang 001; Taylor T. Johnson (CAV (1), 2020)

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 001; Stanley Bak; Taylor T. Johnson (CAV (1), 2020)

Case Study: Safety Verification of an Unmanned Underwater Vehicle. - Diego Manzanas Lopez; Patrick Musau; Nathaniel Hamilton; Hoang-Dung Tran; Taylor T. Johnson (SP (Workshops), 2020)

Reachability Analysis for Feed-Forward Neural Networks using Face Lattices. - Xiaodong Yang; Hoang-Dung Tran; Weiming Xiang 001; Taylor T. Johnson (CoRR, 2020)

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability. - Hoang-Dung Tran; Neelanjana Pal; Patrick Musau; Diego Manzanas Lopez; Nathaniel Hamilton; Xiaodong Yang; Stanley Bak; Taylor T. Johnson (CAV (1), 2021)

Reachability analysis of deep ReLU neural networks using facet-vertex incidence. - Xiaodong Yang; Taylor T. Johnson; Hoang-Dung Tran; Tomoya Yamaguchi 001; Bardh Hoxha; Danil V. Prokhorov (HSCC, 2021)

Reachability Analysis of Convolutional Neural Networks. - Xiaodong Yang; Tomoya Yamaguchi 001; Hoang-Dung Tran; Bardh Hoxha; Taylor T. Johnson; Danil V. Prokhorov (CoRR, 2021)

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. - Hoang-Dung Tran; Neelanjana Pal; Diego Manzanas Lopez; Patrick Musau; Xiaodong Yang; Luan Viet Nguyen; Weiming Xiang 001; Stanley Bak; Taylor T. Johnson (Formal Aspects Comput., 2021)

Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach. - Weiming Xiang 001; Hoang-Dung Tran; Xiaodong Yang; Taylor T. Johnson (IEEE Trans. Neural Networks Learn. Syst., 2021)

Neural Network Repair with Reachability Analysis. - Xiaodong Yang; Tom Yamaguchi 001; Hoang-Dung Tran; Bardh Hoxha; Taylor T. Johnson; Danil V. Prokhorov (FORMATS, 2022)

Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability. - Stanley Bak; Hoang-Dung Tran (NFM, 2022)

Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability. - Stanley Bak; Hoang-Dung Tran (CoRR, 2022)

Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems. - Hoang-Dung Tran; Weiming Xiang 001; Taylor T. Johnson (IEEE Des. Test, 2022)

Real-Time Verification for Distributed Cyber-Physical Systems. - Hoang-Dung Tran; Luan Viet Nguyen; Patrick Musau; Weiming Xiang 001; Taylor T. Johnson (Leibniz Trans. Embed. Syst., 2022)

NNV 2.0: The Neural Network Verification Tool. - Diego Manzanas Lopez; Sung Woo Choi; Hoang-Dung Tran; Taylor T. Johnson (CAV (2), 2023)

Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy. - Hoang-Dung Tran; Diego Manzanas Lopez; Taylor T. Johnson (EMSOFT, 2023)

Quantitative Verification for Neural Networks using ProbStars. - Hoang-Dung Tran; Sungwoo Choi; Hideki Okamoto; Bardh Hoxha; Georgios Fainekos; Danil V. Prokhorov (HSCC, 2023)

Verification of Recurrent Neural Networks with Star Reachability. - Hoang-Dung Tran; Sung Woo Choi; Xiaodong Yang; Tomoya Yamaguchi 001; Bardh Hoxha; Danil V. Prokhorov (HSCC, 2023)

Verifying Binary Neural Networks on Continuous Input Space using Star Reachability. - Mykhailo Ivashchenko; Sung Woo Choi; Luan Viet Nguyen; Hoang-Dung Tran (FormaliSE, 2023)

Decentralized Safe Control for Distributed Cyber-Physical Systems Using Real-Time Reachability Analysis. - Luan Viet Nguyen; Hoang-Dung Tran; Taylor T. Johnson; Vijay Gupta 001 (IEEE Trans. Control. Netw. Syst., 2023)

A Transition System Abstraction Framework for Neural Network Dynamical System Models. - Yejiang Yang; Zihao Mo; Hoang-Dung Tran; Weiming Xiang 001 (ACC, 2024)

Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV. - Taylor T. Johnson; Diego Manzanas Lopez; Hoang-Dung Tran (DSN-S, 2024)

Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems. - Apala Pramanik; Sung Woo Choi; Yuntao Li; Luan Viet Nguyen; Kyungki Kim; Hoang-Dung Tran (MEMOCODE, 2024)

StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems. - Hoang-Dung Tran; Sung Woo Choi; Yuntao Li; Qing Liu; Hideki Okamoto; Bardh Hoxha; Georgios Fainekos (CAV (2), 2025)

ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems. - Hoang-Dung Tran; Sung Woo Choi; Yuntao Li; Hideki Okamoto; Bardh Hoxha; Georgios Fainekos (HSCC, 2025)

Perception-based Quantitative Runtime Verification for Learning-enabled Cyber-Physical Systems. - Ryan Brown; Luan Viet Nguyen; Weiming Xiang 001; Marilyn Wolf; Hoang-Dung Tran (ICCPS, 2025)

Reachability Analysis of Sigmoidal Neural Networks. - Sung Woo Choi; Mykhailo Ivashchenko; Luan Viet Nguyen; Hoang-Dung Tran (ACM Trans. Embed. Comput. Syst., 2025)