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

Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa

Browse the full FM paper archive.