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

Quan, X., Valentino, M., Dennis, L.A. et al. (1 more author) (2025) Faithful and robust LLM-driven theorem proving for NLI explanations. In: Che, W., Nabende, J., Shutova, E. and Pilehvar, M.T., (eds.) Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 27 Jul - 01 Aug 2025, Vienna, Austria. Association for Computational Linguistics , pp. 17734-17755. ISBN 9798891762510

Quan, X., Valentino, M. orcid.org/0000-0002-9959-8385, Dennis, L.A. et al. (1 more author) (2024) Verification and refinement of natural language explanations through LLM-symbolic theorem proving. In: Al-Onaizan, Y., Bansal, M. and Chen, Y-N., (eds.) Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing. 2024 Conference on Empirical Methods in Natural Language Processing, 12-16 Nov 2024, Miami, Florida, USA. Association for Computational Linguistics , pp. 2933-2958. ISBN 9798891763326

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