arXiv Machine Learning July 13, 2026 By Alex Beaudin, Hanna Krasowski, Eric Palanques-Tost, Calin Belta, Murat Arack

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic

Read the original on arXiv Machine Learning →

arXiv:2607. 08899v1 Announce Type: cross Abstract: Signal Temporal Logic (STL) is increasingly used to describe interpretable objectives and constraints for optimal control and learning methods, especially when no target time series data is available.

Summary generated by The Flow from the publisher's feed. The full article lives at arXiv Machine Learning.

arXiv AI

Jul 14

Learning Linear Temporal Specifications from Demonstrations with Uncertainty

arXiv:2607. 10918v1 Announce Type: new Abstract: Learning temporal logic specifications from system demonstrations is essential for tasks such as formal verification and controller synthesis, especially in safety-critical domains.

By Parastou Fahim, Constantino Lagoa, R\^omulo Meira-G'oes

benchmarks safety

arXiv AI

2d ago

Reward Machines for Signal Temporal Logic

arXiv:2608. 13625v1 Announce Type: new Abstract: Signal temporal logic (STL) provides a formal language for specifying real-time properties of real-valued observations, along with a quantitative robustness score for monitoring satisfaction.

By Alper Kamil Bozkurt, Shangtong Zhang, Yuichi Motai

agents reinforcement-learning

arXiv AI

Jun 6

From Kinematics to Dynamics: Learning to Refine Hybrid Plans for Physically Feasible Execution

arXiv:2604. 12474v3 Announce Type: replace-cross Abstract: In many robotic tasks, agents must traverse a sequence of spatial regions to complete a mission.

By Lidor Erez, Shahaf S. Shperberg, Ayal Taitler

agents reinforcement-learning robotics

arXiv Machine Learning

Jun 25

Certified Robust Invariant Polytope Training in Neural Controlled ODEs

arXiv:2408. 01273v3 Announce Type: replace Abstract: We propose a framework for training neural network controllers with certified robust forward invariant polytopes.

By Akash Harapanahalli, Samuel Coogan

rag benchmarks

arXiv Machine Learning

2d ago

hint$^2$: Hierarchical World Models for Inference-Time Temporal Logic Guidance

arXiv:2608. 13678v1 Announce Type: cross Abstract: A central goal of robot learning is to enable robots to execute rich instructions specified at runtime.

By Moritz Zoellner, Anastasios Manganaris, Ahmed H. Qureshi, Rohan Paleja

diffusion robotics safety

arXiv AI

Jun 9

Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies

arXiv:2606. 08312v1 Announce Type: new Abstract: In this work we study offline reinforcement learning (RL) under temporally extended task constraints expressed in Linear Temporal Logic over finite traces (LTLf).

By Ashkan Ansarifard (Sapienza University of Rome), Matteo Mancanelli (Sapienza University of Rome), Elena Umili (Sapienza University of Rome), Fabio Patrizi (Sapienza University of Rome)

llms reinforcement-learning safety

Related stories

Learning Linear Temporal Specifications from Demonstrations with Uncertainty

Reward Machines for Signal Temporal Logic

From Kinematics to Dynamics: Learning to Refine Hybrid Plans for Physically Feasible Execution

Certified Robust Invariant Polytope Training in Neural Controlled ODEs

hint$^2$: Hierarchical World Models for Inference-Time Temporal Logic Guidance

Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies