GitHub repository: JuliaReach/AAAI22_RE
Primary language: C++
Created: 2021-12-14T20:04:19Z
Description: Repeatibility evaluation for "Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes" (AAAI'22)