signal-temporal-logic

Chronofy 提出了一种名为时序逻辑衰减架构（TLDA）的三层神经符号框架，通过时序子空间嵌入、衰减加权图检索和信号时序逻辑验证，将时间有效性直接集成到 RAG 系统中，以减少时间幻觉。

本文提出了可重复使用的经过认证的运行时监控器，用于过去时间信号时序逻辑（ptSTL），这些监控器使用语义潜在表示来评估不同规格而无需重新训练，并在行人交叉路口和Waymo驾驶数据上进行了验证。