signal-temporal-logic
Runtime Verification library of Signal Temporal Logic specifications
Runtime verification for Probabilistic Signal Temporal Logic
A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!
STL robustness evaluation for Python. Explicit semantics, batch-first, extensible backends.
Synthesizing a trace that satisfies a given STL formula [CAV'24]
