Publications

• J. Haydon, M. Bondu, C. Eberhart, J. Dubut, and I. Hasuo. Formal Verification of Intersection Safety for Automated Driving, ITSC, IEEE, 2023.
• I. Hasuo, C. Eberhart, J. Haydon, J. Dubut, R. Bohrer, T. Kobayashi, S. Pruekprasert, X. Zhang, E. Pallas, A. Yamada, K. Suenaga, F. Ishikawa, K. Kamijo, Y. Shinya, and T. Suetomi. Goal-Aware RSS for Complex Scenarios via Program Logic, IEEE T-IV, vol.8 (4), 3040–3072, 2023
• Clovis Eberhart, Jérémy Dubut, James Haydon, and Ichiro Hasuo. Formal Verification of Safety Architectures for Automated Driving, IV 2023
• Clovis Eberhart, James Haydon, Jérémy Dubut, Ahmet Cetinkaya, Sasinee Pruekprasert. Logic for Timed Agent Network Topologies, CDC 2022
• James Haydon. Étale homotopy sections of algebraic varieties. Thesis, University of Oxford, 2014.