Pinned Repositories
ALF
The corresponding estimated ALFs with the reported nonlinear dynamical systems are provided in a mat file.
Benchmarks
These are the benchmark models which have been used in the paper titled "Statistical Verification of Hyperproperties for Cyber-Physical Systems" at Emsoft 2019..
CPS_benchmark
Three used benchmarks for "Statistical Verification of Learning-Enabled Cyber-Physical Systems" paper
CPS_Benchmarks
Used benchmarks for "Statistical Verification of Learning-Enabled Cyber-Physical Systems" paper
gazebo_plugins
mojzaar.github.io
Lightweight jekyll theme for your CV with dark mode support
mojzar.github.io
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
husky_matlab_joy
Hi
Mojzaar's Repositories
Mojzaar/Benchmarks
These are the benchmark models which have been used in the paper titled "Statistical Verification of Hyperproperties for Cyber-Physical Systems" at Emsoft 2019..
Mojzaar/CPS_benchmark
Three used benchmarks for "Statistical Verification of Learning-Enabled Cyber-Physical Systems" paper
Mojzaar/CPS_Benchmarks
Used benchmarks for "Statistical Verification of Learning-Enabled Cyber-Physical Systems" paper
Mojzaar/ALF
The corresponding estimated ALFs with the reported nonlinear dynamical systems are provided in a mat file.
Mojzaar/gazebo_plugins
Mojzaar/mojzaar.github.io
Lightweight jekyll theme for your CV with dark mode support
Mojzaar/mojzar.github.io
Mojzaar/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