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. Patrick Musau

Patrick Musau'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)
Verification for Machine Learning, Autonomy, and Neural Networks Survey
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems
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
NNV: A Tool for Verification of Deep Neural Networks and Learning-Enabled Autonomous Cyber-Physical Systems
Case Study: Safety Verification of an Unmanned Underwater Vehicle
Robustness verification of semantic segmentation neural networks using relaxed reachability
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