Login / Signup
Martin Bondu
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Model Checker
Semi Automated
Formal Verification
Event Driven
Top Venues
CoRR
ITSC
FM
</>
Publications
</>
Tsutomu Kobayashi
,
Martin Bondu
,
Fuyuki Ishikawa
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement.
CoRR
(2024)
James Haydon
,
Martin Bondu
,
Clovis Eberhart
,
Jérémy Dubut
,
Ichiro Hasuo
Formal Verification of Intersection Safety for Automated Driving.
CoRR
(2023)
James Haydon
,
Martin Bondu
,
Clovis Eberhart
,
Jérémy Dubut
,
Ichiro Hasuo
Formal Verification of Intersection Safety for Automated Driving.
ITSC
(2023)
Tsutomu Kobayashi
,
Martin Bondu
,
Fuyuki Ishikawa
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement.
FM
(2023)