Abstract:This paper studies optimal motion planning subject to motion and environment uncertainties. By modeling the system as a probabilistic labeled Markov decision process (PL-MDP), the control objective is to synthesize a finite-memory policy, under which the agent satisfies complex high-level tasks expressed as linear temporal logic (LTL) with desired satisfaction probability. In particular, the cost optimization of the trajectory that satisfies infinite horizon tasks is considered, and the trade-off between reducing the expected mean cost and maximizing the probability of task satisfaction is analyzed. Instead of using traditional Rabin automata, the LTL formulas are converted to limit-deterministic Büchi automata (LDBA) with a reachability acceptance condition and a compact graph structure. The novelty of this work lies in considering the cases where LTL specifications can be potentially infeasible and developing a relaxed product MDP between PL-MDP and LDBA. The relaxed product MDP allows the agent to revise its motion plan whenever the task is not fully feasible and quantify the revised plan's violation measurement. A multi-objective optimization problem is then formulated to jointly consider the probability of task satisfaction, the violation with respect to original task constraints, and the implementation cost of the policy execution. The formulated problem can be solved via coupled linear programs. To the best of our knowledge, this work first bridges the gap between probabilistic planning revision of potential infeasible LTL specifications and optimal control synthesis of both plan prefix and plan suffix of the trajectory over the infinite horizons. Experimental results are provided to demonstrate the effectiveness of the proposed framework.

Extended LTLvis Motion Planning interface (Extended Technical Report)

Synthesis of output feedback control for motion planning based on LTL specifications

Enhancing Closed-Loop Performance in Learning-Based Vehicle Motion Planning by Integrating Rule-Based Insights

Physics-based Motion Planning with Temporal Logic Specifications

Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments

End-to-End Path Planning Under Linear Temporal Logic Specifications

Reactive Planner Synthesis Under Temporal Logic Specifications

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications

R-LGP: A Reachability-guided Logic-geometric Programming Framework for Optimal Task and Motion Planning on Mobile Manipulators

Deep Learning-Enhanced Sampling-Based Path Planning for LTL Mission Specifications

LLM3:Large Language Model-based Task and Motion Planning with Motion Failure Reasoning

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow

Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints

Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments

D-LGP: Dynamic Logic-Geometric Program for Reactive Task and Motion Planning

Deep Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications

Footstep Planning with Encoded Linear Temporal Logic Specifications

Resilient Temporal Logic Planning in the Presence of Robot Failures

Conformal Temporal Logic Planning using Large Language Models

LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning