Items where authors include "Dennis, L.A."

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

Dennis, L.A., Fisher, M., Aitken, J. orcid.org/0000-0003-4204-4020 et al. (4 more authors) (2014) Reconfigurable Autonomy. KI - Künstliche Intelligenz, 28 (3). pp. 199-207. ISSN 0933-1875

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