Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

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

Lack of trust in or acceptance of technology are some of the fundamental problems that
might prevent the dissemination of automated driving. Technological advances, such as …

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 evolution of scientific advances has often been characterized by the amalgamation of
two or more technologies. With respect to vehicle connectivity and automation, recent …

Autonomous vehicles (AVs) offer several benefits, such as improving road safety, mitigating
traffic congestion, and reducing fuel consumption and gas emissions. Despite these …

Many human factor issues regarding automated driving systems are still unresolved. For
instance, it is not fully clear if, and to what extent, drivers will accept and trust this novel …

Previous work on ethical machine reasoning has largely been theoretical, and where such
systems have been implemented, it has, in general, been only initial proofs of principle …

Automated vehicles (AVs) aim to dramatically improve traffic safety by reducing or
eliminating human error, which remains the leading cause of road crashes. However …

Since the global economic and financial crisis, the world of international container transport
has changed considerably over the years and with it the conditions for the development and …