In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …

This paper investigates the coordination of multiple agents for high-level tasks described by
linear temporal logics (LTL). The general purpose for multi-agent coordination is to …

In this letter, we address the path planning of multi-robot systems (ie, a team of identical
mobile robots) with a global high-level specification that is given as a Boolean formula over …

We consider the problem of optimally allocating tasks, expressed as global linear temporal
logic (LTL) specifications, to teams of heterogeneous mobile robots of different types. Each …

In this paper, we investigate the problem of optimal multi-robot path planning for cyclic tasks
represented by a particular type of linear-temporal logic (LTL) formulae. Specifically, the …

Mobile robots are extensively used to complete repetitive operations in industrial areas such
as intelligent transportation, logistics, and manufacturing systems. This paper addresses the …

In this paper, we investigate the problem of planning an optimal infinite path for a single
robot to achieve a linear temporal logic (LTL) task with security guarantee. We assume that …

This letter investigates the path planning of multi-robot systems for high-level tasks
described by Boolean specifications and security constraints. We assume that the behavior …

Temporal logic is becoming increasingly popular for its application in the analysis and
control of dynamic systems. Time window temporal logic (TWTL) is a rich expressive …

High-level task planning is one of the central problems in autonomous systems such as
unmanned ground vehicles (UGV). In this context, the agent makes decisions online to …