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.
arXiv preprint arXiv:2305.07766 (2023)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
NeuroNL2LTL presents a neurosymbolic system with verifier-in-the-loop RL training for NL-to-LTL translation, reporting 28% semantic equivalence and 86% satisfiability on 200k+ requirements across domains.
citing papers explorer
-
Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic
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.
-
NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
NeuroNL2LTL presents a neurosymbolic system with verifier-in-the-loop RL training for NL-to-LTL translation, reporting 28% semantic equivalence and 86% satisfiability on 200k+ requirements across domains.