There are significant advantages using the autonomous underwater vehicle (AUV) for
underwater search. Compared with a single AUV, multi-AUV offers greater efficiency and …

Abstract Recently, Multi-Robot Systems (MRS) have attained considerable recognition
because of their efficiency and applicability in different types of real-life applications. This …

Purpose This paper aims to present a concise review on the variant state-of-the-art dynamic
task allocation strategies. It presents a thorough discussion about the existing dynamic task …

Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and
control theory towards designing safety-critical systems. Instead of following the time-tested …

Many existing approaches for coordinating heterogeneous teams of robots either consider
small numbers of agents, are application-specific, or do not adequately address common …

This article proposes a new highly scalable and asymptotically optimal control synthesis
algorithm from linear temporal logic specifications, called STyLu S* for large-Scale optimal …

Abstract Purpose of Review The goal of this paper is to review current developments in the
area of underwater robotics regarding the use of AI, especially in model learning, robot …

Effective deployment of multi-robot teams requires solving several interdependent problems
at varying levels of abstraction. Specifically, heterogeneous multi-robot systems must …

Robots artificially replicate human capabilities thanks to their software, the main
embodiment of intelligence. However, engineering robotics software has become …

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