-
Carl E. Ravin Advanced Imaging Laboratories (RAI Labs)
- NC, USA
- https://deckard.duhs.duke.edu/~samei/people.html
-
mojzaar.github.io Public
Forked from Stavrospanakakis/jekyll-cvLightweight jekyll theme for your CV with dark mode support
HTML MIT License UpdatedMar 7, 2023 -
-
pyradiomics Public
Forked from AIM-Harvard/pyradiomicsOpen-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 BSD 3-Clause "New" or "Revised" License UpdatedMar 8, 2022 -
CPS_Benchmarks Public
Used benchmarks for "Statistical Verification of Learning-Enabled Cyber-Physical Systems" paper
-
CPS_benchmark Public
Three used benchmarks for "Statistical Verification of Learning-Enabled Cyber-Physical Systems" paper
-
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..
-
-
ALF Public
The corresponding estimated ALFs with the reported nonlinear dynamical systems are provided in a mat file.
UpdatedSep 6, 2017