Safety architectures play a crucial role in the safety assurance of automated driving vehicles
(ADVs). They can be used as safety envelopes of black-box ADV controllers, and for …

We build on our recent work on formalization of responsibility-sensitive safety (RSS) and
present the first formal framework that enables mathematical proofs of the safety of control …

As the development of autonomous vehicles progresses, efficient safety assurance methods
become increasingly necessary. Safety assurance methods such as monitoring and …

This article proposes a novel decision-making framework for autonomous vehicles (AVs),
called predictor–corrector potential game (PCPG), composed of a predictor and a corrector …

Addressing decision safety in the unpredictable arena of complex traffic scenarios
represents a significant hurdle for autonomous driving systems. Considering the inherent …

Defined traffic laws must be respected by all vehicles. However, it is essential to know which
behaviors violate the current laws, especially when a responsibility issue is involved in an …