The University of Southampton

Dr Dhaminda Abeywickrama 


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 FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.