PhD Student in Automation and Systems Engineering. Master in Automation and Systems Engineering. Mechanical Engineer.
-
Universidade Federal de Santa Catarina
- Florianópolis, SC
Popular repositories Loading
-
-
-
vertexBasedRechabilityAnalysis
vertexBasedRechabilityAnalysis PublicRepository containing implementation of the algorithms presented on: Vertex-based reachability analysis for verifying ReLU deep neural networks
Jupyter Notebook
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.