Three used benchmarks for "Statistical Verification of Learning-Enabled Cyber-Physical Systems" paper To run these models, you must have:
- Reinforcment learning toolbox for matlab.
- Downloaded https://www.mathworks.com/matlabcentral/fileexchange/64227-matlab-and-simulink-robotics-arena-walking-robot