:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liu, Ruijia, Hou, Ancheng, Yu, Xiao, Yin, Xiang
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Robotics Systems and Control
Online-Zugang:	https://arxiv.org/abs/2604.18343
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
von: Liu, Ruijia, et al.
Veröffentlicht: (2025)

SAGAS: Semantic-Aware Graph-Assisted Stitching for Offline Temporal Logic Planning
von: Liu, Ruijia, et al.
Veröffentlicht: (2025)

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

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
von: Chen, Yu, et al.
Veröffentlicht: (2026)

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

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

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
von: Ye, Bowen, et al.
Veröffentlicht: (2025)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
von: Ma, Liqian, et al.
Veröffentlicht: (2026)

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

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
von: Halder, Patrick, et al.
Veröffentlicht: (2025)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
von: Rousseas, Panagiotis, et al.
Veröffentlicht: (2026)

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

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

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
von: Kapoor, Parv, et al.
Veröffentlicht: (2024)

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
von: Liu, Wenliang, et al.
Veröffentlicht: (2025)

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
von: Takayama, Yoshinari, et al.
Veröffentlicht: (2023)

Sampling-Based Hierarchical Trajectory Planning for Formation Flight
von: Liu, Qingzhao, et al.
Veröffentlicht: (2024)

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

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
von: Ren, Wei, et al.
Veröffentlicht: (2024)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
von: Zhao, Yiqi, et al.
Veröffentlicht: (2025)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
von: Yang, Shuo, et al.
Veröffentlicht: (2024)

Hierarchical Trajectory Planning of Floating-Base Multi-Link Robot for Maneuvering in Confined Environments
von: Chen, Yicheng, et al.
Veröffentlicht: (2026)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
von: Nawaz, Farhad, et al.
Veröffentlicht: (2024)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
von: Parameshwaran, Aditya, et al.
Veröffentlicht: (2024)

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
von: Dang, Thao, et al.
Veröffentlicht: (2024)

Optimal Planning and Control under Signal Temporal Logic Specifications
von: Pan, Zuodong, et al.
Veröffentlicht: (2026)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
von: Zhao, Yiqi, et al.
Veröffentlicht: (2023)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
von: Thompson, Andrew F., et al.
Veröffentlicht: (2026)

RED: Adaptive Real-Time DAG Scheduling for Robotic Inference under Environmental Dynamics
von: Li, Zexin, et al.
Veröffentlicht: (2026)

SPOT: Spatio-Temporal Obstacle-free Trajectory Planning for UAVs in an Unknown Dynamic Environment
von: Srivastava, Astik, et al.
Veröffentlicht: (2026)

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

RTD-RAX: Fast, Safe Trajectory Planning for Systems under Unknown Disturbances
von: Morales-Cuadrado, Evanns, et al.
Veröffentlicht: (2026)

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
von: Yin, Xiang, et al.
Veröffentlicht: (2024)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
von: Qi, Shuhao, et al.
Veröffentlicht: (2024)

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

Hierarchical Motion Planning and Control under Unknown Nonlinear Dynamics via Predicted Reachability
von: Zhang, Zhiquan, et al.
Veröffentlicht: (2026)

Reliable and Real-Time Highway Trajectory Planning via Hybrid Learning-Optimization Frameworks
von: Lu, Yujia, et al.
Veröffentlicht: (2025)

Optimizing Control-Friendly Trajectories with Self-Supervised Residual Learning
von: Guo, Kexin, et al.
Veröffentlicht: (2026)

UAV Trajectory Planning with Path Processing
von: Bouček, Zdeněk, et al.
Veröffentlicht: (2024)

Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications
von: Yuan, Yating, et al.
Veröffentlicht: (2025)