Abstract:This paper proposes a new reactive temporal logic planning algorithm for multiple robots that operate in environments with unknown geometry modeled using occupancy grid maps. The robots are equipped with individual sensors that allow them to continuously learn a grid map of the unknown environment using existing Simultaneous Localization and Mapping (SLAM) methods. The goal of the robots is to accomplish complex collaborative tasks, captured by global Linear Temporal Logic (LTL) formulas. The majority of existing LTL planning approaches rely on discrete abstractions of the robot dynamics operating in known environments and, as a result, they cannot be applied to the more realistic scenarios where the environment is initially unknown. In this paper, we address this novel challenge by proposing the first reactive, abstraction-free, and distributed LTL planning algorithm that can be applied for complex mission planning of multiple robots operating in unknown environments. The proposed algorithm is reactive, i.e., planning is adapting to the updated environmental map and abstraction-free as it does not rely on designing abstractions of the robot dynamics. Also, our algorithm is distributed in the sense that the global LTL task is decomposed into single-agent reachability problems constructed online based on the continuously learned map. The proposed algorithm is complete under mild assumptions on the structure of the environment and the sensor models. We provide extensive numerical simulations and hardware experiments that illustrate the theoretical analysis and show that the proposed algorithm can address complex planning tasks for large-scale multi-robot systems in unknown environments.

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.

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

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

Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps

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

Temporal Logic Robot Task Planning with Active Acquisition of Information.

Perception-Based Temporal Logic Planning in Uncertain Semantic Maps

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

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

Conformal Temporal Logic Planning using Large Language Models

Physics-based Motion Planning with Temporal Logic Specifications

DT*: Temporal Logic Path Planning in a Dynamic Environment

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

Multi-robot Mission Planning in Dynamic Semantic Environments

Motion Planning for Mobile Robots with Temporal Logic Specifications

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

Optimal Multi-agent Collision-Free Path Planning with Temporal Logic Constraints

Reactive Planner Synthesis Under Temporal Logic Specifications

Integrating Task-Motion Planning with Reinforcement Learning for Robust Decision Making in Mobile Robots