Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S).

Moe Nandi Aung, Yati Phyo, Kazuhiro Ogata

Browse the full SEKE paper archive.