Imagen de Portada

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Wang, Siqi, Li, Shaoyuan, Yin, Li, Yin, Xiang
Formato:	Preprint
Publicado:	2023
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
por: Chen, Yu, et al.
Publicado: (2024)

Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks
por: Chen, Yu, et al.
Publicado: (2022)

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
por: Ye, Bowen, et al.
Publicado: (2024)

Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
por: Zhao, Jianing, et al.
Publicado: (2025)

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
por: Chen, Yu, et al.
Publicado: (2025)

Model Predictive Online Monitoring of Dynamical Systems for Nested Signal Temporal Logic Specifications
por: Han, Tao, et al.
Publicado: (2025)

Multi-Agent Control Synthesis from Global Temporal Logic Tasks with Synchronous Satisfaction Requirements
por: Yang, Tiange, et al.
Publicado: (2023)

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
por: Yu, Xinyi, et al.
Publicado: (2023)

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
por: Cui, Bohan, et al.
Publicado: (2025)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
por: Chen, Yu, et al.
Publicado: (2025)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
por: Liu, Ruijia, et al.
Publicado: (2025)

SPARC: Prediction-Based Safe Control for Coupled Controllable and Uncontrollable Agents with Conformal Predictions
por: Wang, Shuqi, et al.
Publicado: (2024)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
por: Ye, Bowen, et al.
Publicado: (2025)

On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using Polyhedras
por: Li, Yuda, et al.
Publicado: (2026)

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
por: Huang, Junyue, et al.
Publicado: (2026)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
por: Chen, Yu, et al.
Publicado: (2026)

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
por: Ye, Bowen, et al.
Publicado: (2026)

A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems under Energy Constraints
por: Lv, Peng, et al.
Publicado: (2024)

On the Construction of Barrier Certificate: A Dynamic Programming Perspective
por: Chen, Yu, et al.
Publicado: (2025)

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

SAGAS: Semantic-Aware Graph-Assisted Stitching for Offline Temporal Logic Planning
por: Liu, Ruijia, et al.
Publicado: (2025)

Ro-To-Go! Robust Reactive Control with Signal Temporal Logic
por: Ilyes, Roland, et al.
Publicado: (2025)

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

Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
por: Das, Ratnangshu, et al.
Publicado: (2025)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
por: Liu, Siyuan, et al.
Publicado: (2023)

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

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
por: Cui, Bohan, et al.
Publicado: (2024)

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

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

VH-Diffuser: Variable Horizon Diffusion Planner for Time-Aware Goal-Conditioned Trajectory Planning
por: Liu, Ruijia, et al.
Publicado: (2025)

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems
por: Marchesini, Gregorio, et al.
Publicado: (2024)

Runtime Enforcement of CPS against Signal Temporal Logic
por: Su, Han, et al.
Publicado: (2025)

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

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

Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture
por: Choi, Joonwon, et al.
Publicado: (2026)

Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching
por: Lin, Xiaoshan, et al.
Publicado: (2024)

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

Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet
por: Liu, Wenliang, et al.
Publicado: (2025)

Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
por: Vlahakis, Eleftherios E., et al.
Publicado: (2024)

Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks
por: Berlind, Carter, et al.
Publicado: (2024)