Modeling and Verification of Variable Multi-Lane Intersection Controls for Autonomous Vehicles Using Uppaal SMC. - Akihito Hachiro; Masaki Nakamura 001; Kazutoshi Sakakibara; Takuya Matsumoto; Ryo Takano (ICMLC, 2024)