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.

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

Resilient Temporal Logic Planning in the Presence of Robot Failures

Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures

Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications.

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications

DT*: Temporal Logic Path Planning in a Dynamic Environment

Robust Temporal Logic Task Planning for Multirobot Systems under Permanent Robot Failures

An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis

Motion Planning for Mobile Robots with Temporal Logic Specifications

Receding Horizon Control-Based Motion Planning with Partially Infeasible LTL Constraints

Reactive sampling-based path planning with temporal logic specifications

Synthesis of Failure-Robust Plans for Multi-Robot Systems under Temporal Logic Specifications

Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints

To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments

Reactive Planner Synthesis Under Temporal Logic Specifications

Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration

Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic

NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots

Temporal Logic Robot Task Planning with Active Acquisition of Information.

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications