:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ye, Bowen, Li, Zhijian, Huang, Junyue, Ma, Junkai, Yin, Xiang
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Robotics Systems and Control
Online Access:	https://arxiv.org/abs/2605.06483
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
by: Ye, Bowen, 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)

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

Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
by: Takayama, Yoshinari, et al.
Published: (2023)

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

LLM-Enabled Low-Altitude UAV Natural Language Navigation via Signal Temporal Logic Specification Translation and Repair
by: Ping, Yuqi, et al.
Published: (2026)

GraSP-STL: A Graph-Based Framework for Zero-Shot Signal Temporal Logic Planning via Offline Goal-Conditioned Reinforcement Learning
by: Hou, Ancheng, et al.
Published: (2026)

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

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

STL-SVPIO: Signal Temporal Logic guided Stein Variational Path Integral Optimization
by: Zheng, Hongrui, et al.
Published: (2026)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
by: Parameshwaran, Aditya, et al.
Published: (2024)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
by: Rousseas, Panagiotis, et al.
Published: (2026)

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
by: Halder, Patrick, et al.
Published: (2025)

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

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

Zero-Shot Signal Temporal Logic Planning with Disjunctive Branch Selection in Dynamic Semantic Maps
by: Ye, Bowen, et al.
Published: (2026)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
by: Dietrich, Elizabeth, et al.
Published: (2025)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
by: Jiang, Frank J., et al.
Published: (2024)

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
by: Takayama, Yoshinari, et al.
Published: (2023)

Reward-Augmented Reinforcement Learning for Continuous Control in Precision Autonomous Parking via Policy Optimization Methods
by: Suleman, Ahmad, et al.
Published: (2025)

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

Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1
by: Karagulle, Ruya, et al.
Published: (2025)

Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)
by: Ghorbel, Bassem, et al.
Published: (2024)

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

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
by: Arfvidsson, Kaj Munhoz, et al.
Published: (2024)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
by: Nawaz, Farhad, et al.
Published: (2024)

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
by: Matheu, Ryan, et al.
Published: (2026)

Ask, Reason, Assist: Robot Collaboration via Natural Language and Temporal Logic
by: Choe, Dan BW, et al.
Published: (2025)

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

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

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
by: Thompson, Andrew F., et al.
Published: (2026)

Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
by: Peron, Davide, et al.
Published: (2025)

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

Adaptive event-triggered robust tracking control of soft robots
by: Ma, Renjie, et al.
Published: (2025)

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

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

Trajectory Optimization for UAV-Based Medical Delivery with Temporal Logic Constraints and Convex Feasible Set Collision Avoidance
by: Chen, Kaiyuan, et al.
Published: (2025)

Mitigating Error Accumulation in Continuous Navigation via Memory-Augmented Kalman Filtering
by: Tang, Yin, et al.
Published: (2026)