Modeling and Verification of Variable Multi-Lane Intersection Controls for Autonomous Vehicles Using Uppaal SMC.

Akihito Hachiro, Masaki Nakamura, Kazutoshi Sakakibara, Takuya Matsumoto, Ryo Takano

Browse the full ICMLC paper archive.