Skip to main content

Hamburger Menu

  • Home
  • Tools
    • Tool Listing
    • Tool Search
  • Publications
  • About Us
  • Communities
  • Contact Us
Assured Autonomy Tools Portal
Not a member? Forgot your password?
Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)
  1. Hoang-Dung Tran

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

Pagination

  • Page 1
  • Next page ››
Powered by the Cyber-Physical Systems Virtual Organization
Supported by DARPA Assured Autonomy Program, Fundamental Research - Contract FA8750-18-C-0089

Footer

  • About Us
  • Contact
  • Terms of Use
© 2023 AA-VO