`TorCheck` 🔥✅

A fully-differentiable implementation of Signal Temporal Logic semantic trees based on PyTorch

Install

pip install git+https://github.com/ailab-units/TorCheck.git

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
torcheck		torcheck
.gitignore		.gitignore
README.md		README.md
example_stl_usage.py		example_stl_usage.py
setup.py		setup.py