signal-temporal-logic

本文提出了一种基于自动机的新型方法，用于从信号时序逻辑规范中进行控制综合，利用强化学习，相比现有方法，提高了鲁棒性分数和满足率。

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

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