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

This paper reconsiders the outpacing argument, the belief that changes in law and other
means of regulation cannot keep pace with recent changes in technology. We focus on …

The adoption process of innovative software-intensive technologies leverages complex trust
concerns in different forms and shapes. Perceived safety plays a fundamental role in …

An assurance case is a structured argument, typically produced by safety engineers, to
communicate confidence that a critical or complex system, such as an aircraft, will be …

Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned
Correctness Properties Page 1 SECTION TITLE CYBERTRUST 102 COMPUTER PUBLISHED …

Internet of Drones (IoDs) is a network meant to connect drones and their users through the
Internet. It is now possible for industries to perform a variety of missions in a controlled …

The safety demonstration of Increasingly-Autonomous Cyber-Physical Systems is posing
new challenges for the safety community: standards and practices must be adjusted to …

As autonomous driving technology continues to advance, ethical dilemmas are emerging
that raise complex philosophical, social, and public policy questions. In this paper, we …

The thesis is a modest attempt to study the human-robot collaboration and how robots can
learn from humans in the context of autonomous driving. The research was conducted in five …

An inquiry into how safe might be “safe enough” for automated vehicle technology must go
far beyond the superficial “safer than a human driver” metric to yield an answer that will be …