James Haydon

According to our database, James Haydon authored at least 5 papers between 2022 and 2024.

Collaborative distances:

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

2024

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.

Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

2023

Goal-Aware RSS for Complex Scenarios via Program Logic.

Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi

IEEE Trans. Intell. Veh., April, 2023

Formal Verification of Safety Architectures for Automated Driving.

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

Proceedings of the IEEE Intelligent Vehicles Symposium, 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

2022

Logic for Timed Agent Network Topologies.

Clovis Eberhart, James Haydon, Jérémy Dubut, Ahmet Cetinkaya, Sasinee Pruekprasert

Proceedings of the 61st IEEE Conference on Decision and Control, 2022