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 order to increase the order picking efficiency, e-commerce retailers have started to
implement order picking systems where mobile robots carry inventory pods to pick stations …

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 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 …

The problem of solving the equivalent resistance between two points for resistor networks
has important significance in physics. This paper mainly changes and rewrites the formula …

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 …

The control architecture for Connected and Automated Vehicles (CAVs) proposed in this
work combines three features: Scalable, Distributed, and Reconfigurable. The term Scalable …

Quadrotor technology has become increasingly important in the field of photovoltaic (PV)
solar farm monitoring, but short battery life is one of the primary factors limiting its further …

This paper proposes a high-level path planning strategy under Time Petri net (TPN)
formalism for a multiagent system, which is subject to Metric Interval Temporal Logic (MITL) …

This paper studies the path planning problem of mobile robots with high-level specifications,
given as co-safe Linear Temporal Logic (LTL) formulas. Based on some results in literature …