Signal Temporal Logic
PulseAugur coverage of Signal Temporal Logic — every cluster mentioning Signal Temporal Logic across labs, papers, and developer communities, ranked by signal.
2 day(s) with sentiment data
-
New LogiC-Diff framework embeds security properties into AI-enabled CPS
Researchers have developed LogiC-Diff, a novel framework that embeds security properties directly into AI-enabled Cyber-Physical Systems (CPS). This approach uses logic-conditioned bi-stage diffusion to integrate Signal…
-
LLMs Generate Formal Specs for Quadruped Robot Locomotion
Researchers have developed a novel method for training quadruped robots to walk using large language models (LLMs) to generate formal specifications. Instead of manually crafting reward functions, LLMs like GPT-5.5 and …
-
New diffusion model enhances multi-agent planning with Signal Temporal Logic
Researchers have developed a novel diffusion-based method for multi-agent planning that addresses the limitations of existing approaches. Current optimization-based methods struggle with scalability for numerous agents,…
-
New automata-based approach enhances reinforcement learning for complex control systems
Researchers have developed a new automata-based approach for control synthesis using Signal Temporal Logic (STL). This method addresses challenges in reinforcement learning (RL) for complex systems lacking accurate mode…
-
New framework enhances AI translation reliability for autonomous systems
Researchers have developed a new framework called SCP-NL2TL that enhances the reliability of translating natural language instructions into formal specifications for autonomous systems. This method incorporates selectiv…
-
New method synthesizes parameters for nonlinear systems using STL
Researchers have developed a new method for synthesizing parameters in nonlinear systems, enabling them to robustly satisfy Signal Temporal Logic (STL) specifications. This approach utilizes gradient-based optimization …
-
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 …