Logic for Timed Agent Network Topologies. - Clovis Eberhart; James Haydon; Jérémy Dubut; Ahmet Cetinkaya; Sasinee Pruekprasert (CDC, 2022)

Formal Verification of Intersection Safety for Automated Driving. - James Haydon; Martin Bondu; Clovis Eberhart; Jérémy Dubut; Ichiro Hasuo (ITSC, 2023)

Formal Verification of Safety Architectures for Automated Driving. - Clovis Eberhart; Jérémy Dubut; James Haydon; Ichiro Hasuo (IV, 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 005; Erik André Pallas; Akihisa Yamada 002; Kohei Suenaga; Fuyuki Ishikawa; et al. (IEEE Trans. Intell. Veh., 2023)

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 001; Masaki Waga; Étienne André; Ichiro Hasuo; Naoki Ueda; Yosuke Yokoyama (SAC, 2024)