Towards Formal Analysis of Vehicle Platoons Using Actor Model.

Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah

Browse the full ETFA paper archive.