signal-temporal-logic (pypi): A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics.
Keywords: cpp17|monitoring|python3|signal-temporal-logic|temporal-logic