Provides a layered algebraic quantitative semantics for STL-GO where soundness and completeness reduce to monotonicity of abstract accumulators, demonstrated via simulations on Dubins-car and satellite systems under four instantiations.
In: Chatterjee, K., Henzinger, T.A
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2representative citing papers
Embedding Temporal Logic (ETL) performs runtime monitoring directly in learned embedding spaces using distance-based predicates composed with temporal operators, supported by conformal calibration for reliable predicate evaluation.
citing papers explorer
-
An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators
Provides a layered algebraic quantitative semantics for STL-GO where soundness and completeness reduce to monotonicity of abstract accumulators, demonstrated via simulations on Dubins-car and satellite systems under four instantiations.