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 …

The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …

The so-called fourth industrial revolution and its economic and societal implications are no
longer solely an academic concern, but a matter for political as well as public debate …

Surgical robots have been widely adopted with over 4000 robots being used in practice
daily. However, these are telerobots that are fully controlled by skilled human surgeons …

A computational system is called autonomous if it is able to make its own decisions, or take
its own actions, without human supervision or control. The capability and spread of such …

The rapid advances in Artificial Intelligence and Robotics will have a profound impact on
society as they will interfere with the people and their interactions. Intelligent autonomous …

Ethics of Artificial Intelligence (AI) is a growing research field that has emerged in response
to the challenges related to AI. Transparency poses a key challenge for implementing AI …

Temporal landmarks have been extensively studied in the fields of psychology and
consumer behavior but seem to have been neglected in the field of tourism. Based on the …

Public administrations invest heavily in the development of 'smart'public services, including
autonomous public service robots. Since public service robots are designed to operate …

In this article, we describe an approach to autonomous system construction that not only
supports self-awareness but also formal verification. This is based on modular construction …