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

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 …

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 …

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 …

Recently, with the vigorous development of the Internet of Things (IoT) technology, all kinds
of intelligent home appliances in the market are constantly innovating. The public …

This letter addresses the security-based path planning of multi-robot systems with Boolean
specification tasks. Specifically, we consider the existence of an external intruder that is …

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 …

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

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 …