Image de couverture de livre

A*-based Temporal Logic Path Planning with User Preferences on Relaxed Task Satisfaction

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kamale, Disha, Yu, Xi, Vasile, Cristian-Ioan
Format:	Preprint
Publié:	2025
Sujets:	Robotics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams
par: Kamale, Disha, et autres
Publié: (2024)

Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
par: Liang, Kaier, et autres
Publié: (2024)

Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1
par: Karagulle, Ruya, et autres
Publié: (2025)

Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
par: Luo, Licheng, et autres
Publié: (2026)

STL-SVPIO: Signal Temporal Logic guided Stein Variational Path Integral Optimization
par: Zheng, Hongrui, et autres
Publié: (2026)

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

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
par: Yang, Shuo, et autres
Publié: (2024)

Time-aware Motion Planning in Dynamic Environments with Conformal Prediction
par: Liang, Kaier, et autres
Publié: (2025)

Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction
par: Liang, Kaier, et autres
Publié: (2025)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
par: Nawaz, Farhad, et autres
Publié: (2024)

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
par: Wei, Zhongqi, et autres
Publié: (2025)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
par: Dhonthi, Akshay, et autres
Publié: (2024)

A Value Function Space Approach for Hierarchical Planning with Signal Temporal Logic Tasks
par: Liu, Peiran, et autres
Publié: (2024)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
par: Liu, Ruijia, et autres
Publié: (2025)

Fast Task Planning with Neuro-Symbolic Relaxation
par: Du, Qiwei, et autres
Publié: (2025)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
par: Ye, Bowen, et autres
Publié: (2025)

LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning
par: Rabiei, Behrad, et autres
Publié: (2025)

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
par: Lin, Xuan, et autres
Publié: (2024)

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
par: Halder, Patrick, et autres
Publié: (2025)

Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
par: Luo, Xusheng, et autres
Publié: (2023)

Towards Tighter Convex Relaxation of Mixed-integer Programs: Leveraging Logic Network Flow for Task and Motion Planning
par: Lin, Xuan, et autres
Publié: (2025)

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition
par: Ren, Jiming, et autres
Publié: (2025)

Fast and Adaptive Multi-agent Planning under Collaborative Temporal Logic Tasks via Poset Products
par: Liu, Zesen, et autres
Publié: (2023)

TLINet: Differentiable Neural Network Temporal Logic Inference
par: Li, Danyang, et autres
Publié: (2024)

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach
par: Liang, Kaier, et autres
Publié: (2023)

Signal Temporal Logic Planning with Time-Varying Robustness
par: Yuan, Yating, et autres
Publié: (2024)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
par: Chen, Yu, et autres
Publié: (2026)

Signal Temporal Logic Compliant Co-design of Planning and Control
par: Juvvi, Manas Sashank, et autres
Publié: (2025)

SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning
par: Obi, Ike, et autres
Publié: (2025)

Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments
par: Taheri, Azizollah, et autres
Publié: (2025)

Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic
par: Halder, Patrick, et autres
Publié: (2026)

APRICOT: Active Preference Learning and Constraint-Aware Task Planning with LLMs
par: Wang, Huaxiaoyue, et autres
Publié: (2024)

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
par: Luo, Xusheng, et autres
Publié: (2024)

Multi-robot Task Allocation and Path Planning with Maximum Range Constraints
par: Xu, Gang, et autres
Publié: (2024)

Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching
par: Lin, Xiaoshan, et autres
Publié: (2024)

LLM-Grounded Dynamic Task Planning with Hierarchical Temporal Logic for Human-Aware Multi-Robot Collaboration
par: Hu, Shuyuan, et autres
Publié: (2026)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
par: Yu, Pian, et autres
Publié: (2025)

Comp-LTL: Temporal Logic Planning via Zero-Shot Policy Composition
par: Bergeron, Taylor, et autres
Publié: (2024)

Conformal Temporal Logic Planning using Large Language Models
par: Wang, Jun, et autres
Publié: (2023)

D-LGP: Dynamic Logic-Geometric Program for Reactive Task and Motion Planning
par: Xue, Teng, et autres
Publié: (2023)