Martin Bondu

Identifiers

• name variant Martin Bondu 0.60 · backfill

Papers (2)

1. Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement cs.SE · 2024 · author #2
2. Formal Verification of Intersection Safety for Automated Driving cs.RO · 2023 · author #2

Mentions

• 2401.04875 #2 · arxiv_oai · confidence 0.70 Martin Bondu
• 2308.06785 #2 · arxiv_oai · confidence 0.70 Martin Bondu

Frequent Coauthors

• Clovis Eberhart 1 shared papers
• Fuyuki Ishikawa 1 shared papers
• Ichiro Hasuo 1 shared papers
• James Haydon 1 shared papers
• J\'er\'emy Dubut 1 shared papers
• Tsutomu Kobayashi 1 shared papers