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 day(s) with sentiment data
-
New framework developed for multi-agent spatio-temporal logic
Researchers have developed a new algebraic framework to define quantitative semantics for Spatio-Temporal Logic with Graph Operators (STL-GO). This logic extends Signal Temporal Logic (STL) for multi-agent systems by in…
-
New RNN architecture offers formal guarantees for safety-critical systems
Researchers have developed a new recurrent neural network architecture called the Recurrent Differentiable Ternary Logic Gate Network (R-DTLGN). This architecture operates using three-valued logic, where '0' signifies a…
-
ReasonSTL framework translates natural language to formal logic with open-source LLMs
Researchers have developed ReasonSTL, a novel framework designed to translate natural language requirements into Signal Temporal Logic (STL) formulas. This tool-augmented approach utilizes local, open-source language mo…
-
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 …