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.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. 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

Aug 17

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

Sep 2

On Synthesis of Metric Interval Temporal Logics

arXiv:2609.01032v1 Announce Type: cross Abstract: Automated mining of formal specifications is vital for verifying real-time systems. However, existing passive learning approaches remain restricted t...

By Hsi-Ming Ho, Shankaranarayanan Krishna, Khushraj Madnani

benchmarks

arXiv AI

Aug 26

Topology-Guided Modular Actor-Critic Learning for Continuous Systems under Temporal Objectives

arXiv:2304.10041v2 Announce Type: replace Abstract: This work investigates formal policy synthesis for continuous-state stochastic dynamic systems subject to high-level specifications expressed in li...

By Lening Li, Zhentian Qian, Jianan Xia, Qiren Geng, Huasheng Zhang, Liang Hu, Qishuang Li, Junqiang Lou

reinforcement-learning efficiency

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

One email a morning, machine-written

Related stories

Learning Linear Temporal Specifications from Demonstrations with Uncertainty

Reward Machines for Signal Temporal Logic

On Synthesis of Metric Interval Temporal Logics

Topology-Guided Modular Actor-Critic Learning for Continuous Systems under Temporal Objectives

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

Certified Robust Invariant Polytope Training in Neural Controlled ODEs