most citedFormal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement

6 citations · 6 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2024★ 6 cited

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement

Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa

Ensuring the safety of autonomous vehicles (AVs) is the key requisite for their acceptance in society. This complexity is the core challenge in formally proving their safety condit…