GitHub repository: verivital/CTRNN
Primary language: MATLAB
Description: Verification of Continuous Time Recurrent Neural Networks (CTRNN)