Copertina

Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Han, Shaohang, Verhagen, Joris, Tumova, Jana
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Robotics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Collaborative Object Transportation in Space via Impact Interactions
di: Verhagen, Joris, et al.
Pubblicazione: (2025)

Safety-critical Control Under Partial Observability: Reach-Avoid POMDP meets Belief Space Control
di: Vahs, Matti, et al.
Pubblicazione: (2026)

Robust STL Control Synthesis under Maximal Disturbance Sets
di: Verhagen, Joris, et al.
Pubblicazione: (2024)

Risk-Aware Robot Control in Dynamic Environments Using Belief Control Barrier Functions
di: Han, Shaohang, et al.
Pubblicazione: (2025)

Non-smooth Control Barrier Functions for Stochastic Dynamical Systems
di: Vahs, Matti, et al.
Pubblicazione: (2023)

Risk-aware Control for Robots with Non-Gaussian Belief Spaces
di: Vahs, Matti, et al.
Pubblicazione: (2023)

CageCoOpt: Enhancing Manipulation Robustness through Caging-Guided Morphology and Policy Co-Optimization
di: Dong, Yifei, et al.
Pubblicazione: (2024)

Forward Invariance in Trajectory Spaces for Safety-critical Control
di: Vahs, Matti, et al.
Pubblicazione: (2024)

Smooth and Exact Parameterization of Continuous-time Signal Temporal Logic Specifications for Trajectory Optimization
di: Uzun, Samet, et al.
Pubblicazione: (2026)

Finding Control Invariant Sets via Lipschitz Constants of Linear Programs
di: Vahs, Matti, et al.
Pubblicazione: (2024)

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

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

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

Validation of Space Robotics in Underwater Environments via Disturbance Robustness Equivalency
di: Verhagen, Joris, et al.
Pubblicazione: (2026)

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

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

Pedestrian-Aware Motion Planning for Autonomous Driving in Complex Urban Scenarios
di: Moller, Korbinian, et al.
Pubblicazione: (2025)

Task Coordination and Trajectory Optimization for Multi-Aerial Systems via Signal Temporal Logic: A Wind Turbine Inspection Study
di: Silano, Giuseppe, et al.
Pubblicazione: (2024)

Learning to Localize Reference Trajectories in Image-Space for Visual Navigation
di: Busch, Finn Lukas, et al.
Pubblicazione: (2026)

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

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

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

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
di: Kapoor, Parv, et al.
Pubblicazione: (2025)

Agile and Safe Trajectory Planning for Quadruped Navigation with Motion Anisotropy Awareness
di: Zhang, Wentao, et al.
Pubblicazione: (2024)

Efficient Non-Myopic Layered Bayesian Optimization For Large-Scale Bathymetric Informative Path Planning
di: Kiessling, Alexander, et al.
Pubblicazione: (2024)

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

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

Natural Functional Gradients for Smooth Trajectory Optimization
di: Park, Kisang, et al.
Pubblicazione: (2026)

Wasserstein Distributionally Robust Chance Constrained Trajectory Optimization for Mobile Robots within Uncertain Safe Corridor
di: Xu, Shaohang, et al.
Pubblicazione: (2023)

Parameter-Robust MPPI for Safe Online Learning of Unknown Parameters
di: Vahs, Matti, et al.
Pubblicazione: (2026)

Towards Open-Source and Modular Space Systems with ATMOS
di: Roque, Pedro, et al.
Pubblicazione: (2025)

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

Robust MITL planning under uncertain navigation times
di: Linard, Alexis, et al.
Pubblicazione: (2024)

Signal Temporal Logic Planning with Time-Varying Robustness
di: Yuan, Yating, et al.
Pubblicazione: (2024)

Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications
di: Eappen, Joe, et al.
Pubblicazione: (2025)

BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees
di: Serbinowska, Serena S., et al.
Pubblicazione: (2022)

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

Optimizing NeRF-based SLAM with Trajectory Smoothness Constraints
di: He, Yicheng, et al.
Pubblicazione: (2024)

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

Transitional Grid Maps: Joint Modeling of Static and Dynamic Occupancy
di: Sánchez, José Manuel Gaspar, et al.
Pubblicazione: (2024)