Cover Image

Signal Temporal Logic Planning with Time-Varying Robustness

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yuan, Yating, Quartz, Thanin, Liu, Jun
Format:	Preprint
Published:	2024
Subjects:	Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Manifold-Guided Lyapunov Control with Diffusion Models
by: Mukherjee, Amartya, et al.
Published: (2024)

A Converse Control Lyapunov Theorem for Joint Safety and Stability
by: Quartz, Thanin, et al.
Published: (2025)

Signal Temporal Logic Compliant Co-design of Planning and Control
by: Juvvi, Manas Sashank, et al.
Published: (2025)

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

Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic
by: Halder, Patrick, et al.
Published: (2026)

A Value Function Space Approach for Hierarchical Planning with Signal Temporal Logic Tasks
by: Liu, Peiran, et al.
Published: (2024)

Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems
by: Quartz, Thanin, et al.
Published: (2024)

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

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

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

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

MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications
by: Sewlia, Mayank, et al.
Published: (2023)

Robust-Locomotion-by-Logic: Perturbation-Resilient Bipedal Locomotion via Signal Temporal Logic Guided Model Predictive Control
by: Gu, Zhaoyuan, et al.
Published: (2024)

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition
by: Ren, Jiming, et al.
Published: (2025)

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

Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)

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

Conformal Temporal Logic Planning using Large Language Models
by: Wang, Jun, et al.
Published: (2023)

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

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
by: Wei, Zhongqi, et al.
Published: (2025)

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
by: Lin, Xuan, et al.
Published: (2024)

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)

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

Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments
by: Taheri, Azizollah, et al.
Published: (2025)

Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
by: Han, Shaohang, et al.
Published: (2025)

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

Comp-LTL: Temporal Logic Planning via Zero-Shot Policy Composition
by: Bergeron, Taylor, et al.
Published: (2024)

Fast and Adaptive Multi-agent Planning under Collaborative Temporal Logic Tasks via Poset Products
by: Liu, Zesen, et al.
Published: (2023)

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

Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures
by: Kalluraya, Samarth, et al.
Published: (2024)

LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning
by: Rabiei, Behrad, et al.
Published: (2025)

A*-based Temporal Logic Path Planning with User Preferences on Relaxed Task Satisfaction
by: Kamale, Disha, et al.
Published: (2025)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
by: Dhonthi, Akshay, et al.
Published: (2024)

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

Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
by: Luo, Xusheng, et al.
Published: (2023)

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

T3 Planner: A Self-Correcting LLM Framework for Robotic Motion Planning with Temporal Logic
by: Li, Jia, et al.
Published: (2025)

Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains
by: Aloor, Jasmine Jerry, et al.
Published: (2022)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
by: Meng, Yue, et al.
Published: (2025)

Robust Adaptive Time-Varying Control Barrier Function with Application to Robotic Surface Treatment
by: Kim, Yitaek, et al.
Published: (2025)