Contributor | Assured Autonomy Tools Portal

Assured Autonomy Tools Portal

Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)

Hoang-Dung Tran's Publications

ARCH-COMP19 Category Report: Artificial Intelligence / Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

Verification of Closed-loop Systems with Neural Network Controllers (Benchmark Proposal)

Specification-Guided Safety Verification for Feedforward Neural Networks

Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations

Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks

Parallelizable Reachability Analsysis Algorithms for FeedForward Neural Networks

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control

Star-Based Reachability Analsysis for Deep Neural Networks

Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks