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. Stanley Bak

Stanley Bak's Publications

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks
Verification of Deep Convolutional Neural Networks Using ImageStars
NNV: A Tool for Verification of Deep Neural Networks and Learning-Enabled Autonomous Cyber-Physical Systems
Robustness verification of semantic segmentation neural networks using relaxed reachability
Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results
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