The University of Southampton

Dr Dhaminda Abeywickrama 

Publications

Abeywickrama, Dhaminda, Mamei, Marco and Zambonelli, Franco (2018) Engineering collectives of self-driving vehicles: the SOTA approach. In, Margaria, T. and Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems. ISoLA 2018. (Lecture Notes in Computer Science, , (doi:10.1007/978-3-030-03424-5_6), 11246) Springer, Cham, pp. 79-93. (doi:10.1007/978-3-030-03424-5_6).

Share this profile FacebookTwitterWeibo