James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo. Formal Verification of Intersection Safety for Automated Driving. In 25th IEEE International Conference on Intelligent Transportation Systems, ITSC 2022, Macau, China, October 8-12, 2022. pages 107-114, IEEE, 2023. [doi]
Abstract is missing.