Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. - Tsutomu Kobayashi; Martin Bondu; Fuyuki Ishikawa (FM, 2023)

Formal Verification of Intersection Safety for Automated Driving. - James Haydon; Martin Bondu; Clovis Eberhart; Jérémy Dubut; Ichiro Hasuo (ITSC, 2023)