Signal Temporal Logic
PulseAugur coverage of Signal Temporal Logic — every cluster mentioning Signal Temporal Logic across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
新的RNN架构为安全关键系统提供形式化保证
研究人员开发了一种名为循环可微三元逻辑门网络（R-DTLGN）的新型循环神经网络架构。该架构使用三值逻辑运行，其中“0”表示未知状态，为安全关键系统中的运行时监视器提供形式化保证。R-DTLGN确保在传感器数据受损时输出能够优雅降级，并提供原则性弃权，这意味着未知输入不会导致错误输出。其设计直接关联到信号时序逻辑（STL）的时序算子，允许通过公式驱动网络大小调整，而不是手动调整超参数。
-
ReasonSTL框架通过开源LLM将自然语言转换为形式逻辑
研究人员开发了ReasonSTL，一个旨在将自然语言需求转换为信号时序逻辑（STL）公式的新型框架。这种工具增强的方法利用本地开源语言模型进行翻译，解决了与商业LLM API相关的成本和隐私问题。ReasonSTL将过程分解为推理、工具调用和公式构建，并结合了进程奖励训练和一个名为STL-Bench的新基准。
-
AI research introduces zero-shot planning for dynamic environments using temporal logic
Researchers have developed a novel zero-shot planning solver for Signal Temporal Logic (STL) that can generate feasible trajectories in dynamic environments without retraining. The approach integrates a map-conditioned …