pypi.org : signal-temporal-logic
A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics.
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/signal-temporal-logic
Keywords:
cpp17
, monitoring
, python3
, signal-temporal-logic
, temporal-logic
License: MIT
Latest release: over 4 years ago
First release: almost 5 years ago
Dependent repositories: 1
Downloads: 1,380 last month
Stars: 38 on GitHub
Forks: 6 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 6 days ago
anand-bala
3 packages4,261 downloads