Imagen de Portada

Signal Temporal Logic Planning with Time-Varying Robustness

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Yuan, Yating, Quartz, Thanin, Liu, Jun
Formato:	Preprint
Publicado:	2024
Materias:	Robotics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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