signal-temporal-logic
signal-temporal-logic copied to clipboard
anand-bala
A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!
Hi, thanks for working on this library :) The last release (v0.1.3-post1) does not seem to have pre-built libraries in PyPI for the python versions >3.9 and also generating errors...
Does the project support timed temporal operators, such as Eventually[0, 3](a), where a = stl.Predicate("a") > 0 ? Thanks!
My specification is Always(dist & cgap). where dist is the predicate d > 10 and cgap is the predicate d
Metadata
Owner
Metadata
A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!