Autonomous vehicles (AVs) will revolutionize mobility in the future. However, accidents will
still happen and it will affect the practices of today's tort laws. This work discusses all those …

Challenges related to automated driving are no longer focused on just the construction of
such automated vehicles (AVs) but also on assuring the safety of operation. Recent …

We present a verification methodology for analysing the decision-making component in
agent-based hybrid systems. Traditionally hybrid automata have been used to both …

Ensuring that autonomous systems work ethically is both complex and difficult. However, the
idea of having an additional 'governor'that assesses options the system has, and prunes …

How can we provide guarantees of behaviours for autonomous systems such as driverless
cars? This tutorial text, for professionals, researchers and graduate students, explains how …

As an envisaged future of transportation, self-driving cars are being discussed from various
perspectives, including social, economical, engineering, computer science, design, and …

Research on self-driving cars is transdisciplinary and its different aspects have attracted
interest in general public debates as well as among specialists. To this day, ethical …

Before autonomous cars can become widespread, car manufacturers must solve an
important ethical dilemma of algorithmic morality. In time of unavoidable accidents …