Gespeichert in:
| Hauptverfasser: | Liu, Ruijia, Hou, Ancheng, Yu, Xiao, Yin, Xiang |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| 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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
von: Takayama, Yoshinari, et al.
Veröffentlicht: (2023)
Sampling-Based Hierarchical Trajectory Planning for Formation Flight
von: Liu, Qingzhao, et al.
Veröffentlicht: (2024)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
von: Guo, Kexin, et al.
Veröffentlicht: (2026)
UAV Trajectory Planning with Path Processing
von: Bouček, Zdeněk, et al.
Veröffentlicht: (2024)
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)
von: Yuan, Yating, et al.
Veröffentlicht: (2025)
Ä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)