PyPI page
Home page
Author:
Ernest Bonnah, SEDIS Lab, Baylor University
License:
MIT OR Apache-2.0
Summary:
Runtime verification for signal temporal logic and its probabilistic extension
Latest version:
0.3.1
Required dependencies:
numpy
|
typing-extensions
Optional dependencies:
matplotlib
|
mypy
|
pandas
|
pandas-stubs
|
pytest
|
pytest-cov
|
ruff
Downloads last day:
0
Downloads last week:
26
Downloads last month:
191
7-day smoothing