Popular repositories

1. Benchmarks Benchmarks Public

   These are the benchmark models which have been used in the paper titled "Statistical Verification of Hyperproperties for Cyber-Physical Systems" at Emsoft 2019..

   MATLAB 3

2. CPS_benchmark CPS_benchmark Public

   Three used benchmarks for "Statistical Verification of Learning-Enabled Cyber-Physical Systems" paper

   MATLAB 1

3. CPS_Benchmarks CPS_Benchmarks Public

   Used benchmarks for "Statistical Verification of Learning-Enabled Cyber-Physical Systems" paper

   MATLAB 1

4. ALF ALF Public

   The corresponding estimated ALFs with the reported nonlinear dynamical systems are provided in a mat file.

5. gazebo_plugins gazebo_plugins Public

6. pyradiomics pyradiomics Public

   Forked from AIM-Harvard/pyradiomics

   Open-source python package for the extraction of Radiomics features from 2D and 3D images and binary masks. Support: https://discourse.slicer.org/c/community/radiomics

   Jupyter Notebook