:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wu, Tianhao, Lyu, Yiwei
Format:	Preprint
Published:	2026
Subjects:	Robotics
Online Access:	https://arxiv.org/abs/2603.06947
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

CBF-Based Motion Planning for Socially Responsible Robot Navigation Guaranteeing STL Specification
by: Ruo, Andrea, et al.
Published: (2024)

An Operator-Based Approach to STL
by: Rousseas, Panagiotis, et al.
Published: (2026)

Multi-Robot Trajectory Planning via Constrained Bayesian Optimization and Local Cost Map Learning with STL-Based Conflict Resolution
by: Raxit, Sourav, et al.
Published: (2026)

RRT$^η$: Sampling-based Motion Planning and Control from STL Specifications using Arithmetic-Geometric Mean Robustness
by: Ahmad, Ahmad, et al.
Published: (2026)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

Decentralized Multi-Robot Line-of-Sight Connectivity Maintenance under Uncertainty
by: Yang, Yupeng, et al.
Published: (2024)

Validating Generalist Robots with Situation Calculus and STL Falsification
by: Li, Changwen, et al.
Published: (2026)

CBF-Based STL Motion Planning for Social Navigation in Crowded Environment
by: Ruo, Andrea, et al.
Published: (2024)

PC-Diffuser: Path-Consistent Capsule CBF Safety Filtering for Diffusion-Based Trajectory Planner
by: Ku, Eugene, et al.
Published: (2026)

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

Navigating the Wild: Pareto-Optimal Visual Decision-Making in Image Space
by: Pushp, Durgakant, et al.
Published: (2025)

Gaussian Mixture-Based Inverse Perception Contract for Uncertainty-Aware Robot Navigation
by: Du, Bingyao, et al.
Published: (2026)

Multimodal Belief-Space Covariance Steering with Active Probing and Influence for Interactive Driving
by: Chakravarty, Devodita, et al.
Published: (2026)

Hierarchical Learned Risk-Aware Planning Framework for Human Driving Modeling
by: Ludlow, Nathan, et al.
Published: (2024)

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

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
by: Ren, Jiming, et al.
Published: (2024)

Online Pareto-Optimal Decision-Making for Complex Tasks using Active Inference
by: Amorese, Peter, et al.
Published: (2024)

Automating the Refinement of Reinforcement Learning Specifications
by: Ambadkar, Tanmay, et al.
Published: (2025)

Enhancing the Performance of DeepReach on High-Dimensional Systems through Optimizing Activation Functions
by: Wang, Qian, et al.
Published: (2023)

DexSynRefine: Synthesizing and Refining Human-Object Interaction Motion for Physically Feasible Dexterous Robot Actions
by: Lee, Hyesung, et al.
Published: (2026)

From Kinematics to Dynamics: Learning to Refine Hybrid Plans for Physically Feasible Execution
by: Erez, Lidor, et al.
Published: (2026)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
by: Dietrich, Elizabeth, et al.
Published: (2025)

STL-Based Motion Planning and Uncertainty-Aware Risk Analysis for Human-Robot Collaboration with a Multi-Rotor Aerial Vehicle
by: Silano, Giuseppe, et al.
Published: (2025)

Capability-Aware Heterogeneous Control Barrier Functions for Decentralized Multi-Robot Safe Navigation
by: Kim, Joonkyung, et al.
Published: (2026)

Integrating Online Learning and Connectivity Maintenance for Communication-Aware Multi-Robot Coordination
by: Yang, Yupeng, et al.
Published: (2024)

Robust Online Residual Refinement via Koopman-Guided Dynamics Modeling
by: Gong, Zhefei, et al.
Published: (2025)

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

TOPPQuad: Dynamically-Feasible Time Optimal Path Parametrization for Quadrotors
by: Mao, Katherine, et al.
Published: (2023)

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)

Adaptive Deadlock Avoidance for Decentralized Multi-agent Systems via CBF-inspired Risk Measurement
by: Zhang, Yanze, et al.
Published: (2025)

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

O-ConNet: Geometry-Aware End-to-End Inference of Over-Constrained Spatial Mechanisms
by: Sun, Haoyu, et al.
Published: (2026)

WeHelp: A Shared Autonomy System for Wheelchair Users
by: Abuduweili, Abulikemu, et al.
Published: (2024)

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

Canonical Representation and Force-Based Pretraining of 3D Tactile for Dexterous Visuo-Tactile Policy Learning
by: Wu, Tianhao, et al.
Published: (2024)

Optimal Planning for Timed Partial Order Specifications
by: Watanabe, Kandai, et al.
Published: (2024)

Muscle Coactivation in the Sky: Geometry and Pareto Optimality of Energy vs. Aerodynamic Promptness and Multirotors as Variable Stiffness Actuators
by: Franchi, Antonio
Published: (2026)

Refining Motion for Peak Performance: Identifying Optimal Gait Parameters for Energy-Efficient Quadrupedal Bounding
by: Alqaham, Yasser G., et al.
Published: (2025)