Pinned Repositories
VerifAI
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
py-metric-temporal-logic
Python library for working with Metric Temporal Logic (MTL)
adversarial_testing
This is a python package for testing controls for black box system in simulators
DiaRY
FalsifyNN
magnumSTL
multidim-threshold
py-stl
Python library for working with STL syntax
shromonag.github.io
:crystal_ball: Violet Jekyll Template
VerifAI
shromonag's Repositories
shromonag/FalsifyNN
shromonag/DiaRY
shromonag/adversarial_testing
This is a python package for testing controls for black box system in simulators
shromonag/VerifAI
shromonag/magnumSTL
shromonag/multidim-threshold
shromonag/py-stl
Python library for working with STL syntax
shromonag/shromonag.github.io
:crystal_ball: Violet Jekyll Template