Artificial Intelligence (AI) can enable the development of next-generation autonomous safety-
critical systems in which Machine Learning (ML) algorithms learn optimized and safe …

The emergence of the Internet of things and the widespread deployment of diverse
computing systems have led to the formation of heterogeneous multi-agent systems (MAS) …

The last five years marked a surge in interest for and use of smart robots, which operate in
dynamic and unstructured environments and might interact with humans. We posit that well …

We provide a review of recent work on formal methods for autonomous driving. Formal
methods have been traditionally used to specify and verify the behavior of computer …

Given the increased interest in smart assistive technologies and autonomous robot vehicles,
path planning has emerged as one of the most researched and challenging topics in …

Large Language Models (LLMs) have the potential to catalyze a paradigm shift in end-user
robot programming---moving from the conventional process of user specifying programming …

We perform a systematic literature review on testing, validation, and verification of robotic
and autonomous systems (RAS). The scope of this review covers peer-reviewed research …

This paper presents a review of modular and reconfigurable space robot systems intended
for use in orbital and planetary applications. Modular autonomous robotic systems promise …

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

Robots are becoming ubiquitous: from vacuum cleaners to driverless cars, there is a wide
variety of applications, many with potential safety hazards. The work presented in this paper …