:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kamale, Disha, Yu, Xi, Vasile, Cristian-Ioan
Format:	Preprint
Published:	2025
Subjects:	Robotics
Online Access:	https://arxiv.org/abs/2511.16844
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams
by: Kamale, Disha, et al.
Published: (2024)

Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
by: Liang, Kaier, et al.
Published: (2024)

Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1
by: Karagulle, Ruya, et al.
Published: (2025)

Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
by: Luo, Licheng, et al.
Published: (2026)

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

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
by: Cardona, Gustavo A., et al.
Published: (2025)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
by: Yang, Shuo, et al.
Published: (2024)

Time-aware Motion Planning in Dynamic Environments with Conformal Prediction
by: Liang, Kaier, et al.
Published: (2025)

Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction
by: Liang, Kaier, et al.
Published: (2025)

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

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

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

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

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

Fast Task Planning with Neuro-Symbolic Relaxation
by: Du, Qiwei, et al.
Published: (2025)

TLINet: Differentiable Neural Network Temporal Logic Inference
by: Li, Danyang, et al.
Published: (2024)

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach
by: Liang, Kaier, et al.
Published: (2023)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
by: Ye, Bowen, 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)

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

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

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

Towards Tighter Convex Relaxation of Mixed-integer Programs: Leveraging Logic Network Flow for Task and Motion Planning
by: Lin, Xuan, et al.
Published: (2025)

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

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

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

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

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

SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning
by: Obi, Ike, et al.
Published: (2025)

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

Decoupling Geometric Planning and Execution in Scalable Multi-Agent Path Finding
by: Salanova, Fernando, et al.
Published: (2026)

Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching
by: Lin, Xiaoshan, et al.
Published: (2024)

Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method
by: Liang, Kaier, et al.
Published: (2024)

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

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

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
by: Yu, Pian, et al.
Published: (2025)

A Semantic Autonomy Framework for VLM-Integrated Indoor Mobile Robots: Hybrid Deterministic Reasoning and Cross-Robot Adaptive Memory
by: Abaza, Bogdan Felician, et al.
Published: (2026)

LLM-Grounded Dynamic Task Planning with Hierarchical Temporal Logic for Human-Aware Multi-Robot Collaboration
by: Hu, Shuyuan, et al.
Published: (2026)

APRICOT: Active Preference Learning and Constraint-Aware Task Planning with LLMs
by: Wang, Huaxiaoyue, et al.
Published: (2024)

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