stl

LaTeX visitors for GMSR Signal Temporal Logic (STL) expressions.

Visitors: And, Or, Not, IfThen, IntegerVariable, Always, Eventually, Until

Notation follows standard STL: propositional connectives \wedge / \vee / \neg / \implies, and the temporal operators \Box (always), \Diamond (eventually), and \mathcal{U} (until), each carrying its enforcement interval as a subscript _{[a, b]}. The abstract bases (STLExpr, _TemporalSTLExpr) are never instantiated, so only the concrete operators are registered.