Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
verification
neural-networks
knowledge-distillation
distillation
reachability-analysis
neural-network-controlled-systems
-
Updated
Mar 25, 2023 - C++
Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
Embodied evolutionary (EE) algorithm for open-ended continuous adaptation of swarm robotics.
Add a description, image, and links to the neural-network-controlled-systems topic page so that developers can more easily learn about it.
To associate your repository with the neural-network-controlled-systems topic, visit your repo's landing page and select "manage topics."