PyPI page
Home page
Author:
Dejan Nickovic
License:
BSD 3-Clause License
Copyright (c) 2019, nickovic
All rights reserved.
Redistribution and use in source and binary forms, with or without
modification...
Summary:
Signal Temporal Logic (STL) monitoring library
Latest version:
0.4.10
Required dependencies:
antlr4-python3-runtime
Downloads last day:
84
Downloads last week:
483
Downloads last month:
2,733
7-day smoothing