James Haydon

Identifiers

• name variant James Haydon 0.60 · backfill

Papers (4)

1. Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance cs.RO · 2024 · author #3
2. Formal Verification of Safety Architectures for Automated Driving cs.RO · 2023 · author #3
3. Formal Verification of Intersection Safety for Automated Driving cs.RO · 2023 · author #1
4. Goal-Aware RSS for Complex Scenarios via Program Logic cs.RO · 2022 · author #3

Mentions

• 2403.18764 #3 · arxiv_oai · confidence 0.70 James Haydon
• 2308.10365 #3 · arxiv_oai · confidence 0.70 James Haydon
• 2308.06785 #1 · arxiv_oai · confidence 0.70 James Haydon
• 2207.02387 #3 · arxiv_oai · confidence 0.70 James Haydon

Frequent Coauthors

• Ichiro Hasuo 4 shared papers
• Clovis Eberhart 3 shared papers
• J\'er\'emy Dubut 3 shared papers
• Agnishom Chattopadhyay 1 shared papers
• Akihisa Yamada 1 shared papers
• Benjamin Bray 1 shared papers
• Erik Andr\'e Pallas 1 shared papers
• \'Etienne Andr\'e 1 shared papers
• Fuyuki Ishikawa 1 shared papers
• Jesse Reimann 1 shared papers
• Kenji Kamijo 1 shared papers
• Kohei Suenaga 1 shared papers
• Martin Bondu 1 shared papers
• Masaki Waga 1 shared papers
• Naoki Ueda 1 shared papers
• Nico Mansion 1 shared papers
• Rose Bohrer 1 shared papers
• Sasinee Pruekprasert 1 shared papers
• Sota Sato 1 shared papers
• Takamasa Suetomi 1 shared papers