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.
The International Journal of Robotics Research , volume = 43, number = 2, pages =
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
A workshop report catalogues challenges and solution pathways for verification, engineering, and architecting reliable autonomous systems.
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.
-
Engineering Reliable Autonomous Systems: Challenges and Solutions
A workshop report catalogues challenges and solution pathways for verification, engineering, and architecting reliable autonomous systems.