Cover Image

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Baheri, Ali, Wei, Peng
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Wasserstein-Barycenter Consensus for Cooperative Multi-Agent Reinforcement Learning
by: Baheri, Ali
Published: (2025)

Implicit Constraint-Aware Off-Policy Correction for Offline Reinforcement Learning
by: Baheri, Ali
Published: (2025)

Hierarchical Upper Confidence Bounds for Constrained Online Learning
by: Baheri, Ali
Published: (2024)

BEACON: A Bayesian Evolutionary Approach for Counterexample Generation of Control Systems
by: Yancosek, Joshua, et al.
Published: (2024)

The Synergy Between Optimal Transport Theory and Multi-Agent Reinforcement Learning
by: Baheri, Ali, et al.
Published: (2024)

Multi-Scale Conformal Prediction: A Theoretical Framework with Coverage Guarantees
by: Baheri, Ali, et al.
Published: (2025)

Geometry-Aware Decentralized Sinkhorn for Wasserstein Barycenters
by: Baheri, Ali, et al.
Published: (2025)

Economically Efficient Combined Plant and Controller Design Using Batch Bayesian Optimization: Mathematical Framework and Airborne Wind Energy Case Study
by: Baheri, Ali, et al.
Published: (2019)

Disturbance Rejection Control under Nested Signal Temporal Logic Specifications: A Recursive Design Approach
by: Peng, Yuzhang, et al.
Published: (2026)

Metriplectic Conditional Flow Matching for Dissipative Dynamics
by: Baheri, Ali, et al.
Published: (2025)

Wasserstein Barycenter Soft Actor-Critic
by: Shahrooei, Zahra, et al.
Published: (2025)

Concurrent Learning of Policy and Unknown Safety Constraints in Reinforcement Learning
by: Yifru, Lunet, et al.
Published: (2024)

Can Optimal Transport Improve Federated Inverse Reinforcement Learning?
by: Millard, David, et al.
Published: (2026)

Optimal Transport-Assisted Risk-Sensitive Q-Learning
by: Shahrooei, Zahra, et al.
Published: (2024)

Optimal Planning and Control under Signal Temporal Logic Specifications
by: Pan, Zuodong, et al.
Published: (2026)

Optimizing Falsification for Learning-Based Control Systems: A Multi-Fidelity Bayesian Approach
by: Shahrooei, Zahra, et al.
Published: (2024)

Maximally Resilient Controllers under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2025)

Energetic Resilience under Temporal Logic Specifications
by: Das, Ratnangshu, et al.
Published: (2026)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024)

Multi-Task Learning for Few-Shot Online Adaptation under Signal Temporal Logic Specifications
by: Arias, Andres, et al.
Published: (2024)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
by: Kordabad, Arash Bahari, et al.
Published: (2024)

Density-Ratio Weighted Behavioral Cloning: Learning Control Policies from Corrupted Datasets
by: Pandian, Shriram Karpoora Sundara, et al.
Published: (2025)

Wasserstein Adaptive Value Estimation for Actor-Critic Reinforcement Learning
by: Baheri, Ali, et al.
Published: (2025)

Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
by: Vlahakis, Eleftherios E., et al.
Published: (2025)

Stratifying Reinforcement Learning with Signal Temporal Logic
by: Curry, Justin, et al.
Published: (2026)

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2026)

Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)

Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
by: Jagabathula, Vaishnavi, et al.
Published: (2025)

Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications
by: Yuan, Yating, et al.
Published: (2025)

Hierarchical Neuro-Symbolic Decision Transformer
by: Baheri, Ali, et al.
Published: (2025)

A Framework for Motion Planning with Temporal Logic Precedence Specifications via Augmented Graphs of Convex Sets
by: You, Shilin, et al.
Published: (2026)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2026)

Clustering-based Recurrent Neural Network Controller synthesis under Signal Temporal Logic Specifications
by: Serizawa, Kazunobu, et al.
Published: (2025)

Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications
by: Le, Nhan-Khanh, et al.
Published: (2024)

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
by: Dang, Thao, et al.
Published: (2024)

A Survey on Reinforcement Learning in Aviation Applications
by: Razzaghi, Pouria, et al.
Published: (2022)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
by: Gautam, Saksham, et al.
Published: (2024)

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
by: Liu, Wenliang, et al.
Published: (2025)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
by: Liu, Ruijia, et al.
Published: (2026)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
by: Yang, Shuo, et al.
Published: (2024)