/VERRNN

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis

Primary LanguagePython

No issues in this repository yet.