signal-temporal-logic

Chronofy proposes a three-layer neuro-symbolic framework called Temporal-Logical Decay Architecture (TLDA) that integrates temporal validity directly into RAG systems via temporal subspace embeddings, decay-weighted graph retrieval, and Signal Temporal Logic verification to reduce temporal hallucination.

This paper proposes reusable certified runtime monitors for past-time signal temporal logic (ptSTL) that use semantic latent representations to evaluate varying specifications without retraining, validated on pedestrian-crossroad and Waymo driving data.