Items where authors include "Kamali, M."

Article

Kamali, M., Dennis, L.A., McAree, O. et al. (2 more authors) (2017) Formal verification of autonomous vehicle platooning. Science of Computer Programming, 148. pp. 88-106. ISSN 0167-6423

Proceedings Paper

Dennis, L.A., Aitken, J.M. orcid.org/0000-0003-4204-4020, Collenette, J. et al. (8 more authors) (2016) Agent-based autonomous systems and abstraction engines: Theory meets practice. In: Alboul , L., Damian, D. and Aitken, J., (eds.) Towards Autonomous Robotic Systems. 17th Annual Conference, Towards Autonomous Robotics, TAROS 2016, 26 June 26 - 1 July, 2016, Sheffield . Lecture Notes in Computer Science (9716). Springer, Cham , pp. 75-86. ISBN 9783319403786