Martin Bondu

According to our database, Martin Bondu authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formal Verification of Intersection Safety for Automated Driving.

James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

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

Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa

Proceedings of the Formal Methods - 25th International Symposium, 2023