Items where authors include "Dennis, L."

Article

Mousavi, M.R. orcid.org/0000-0002-4869-6794, Cavalcanti, A., Fisher, M. orcid.org/0000-0002-0875-3862 et al. (8 more authors) (2023) Trustworthy Autonomous Systems Through Verifiability. Computer, 56 (2). pp. 40-47. ISSN 0018-9162

Mousavi, M.R., Cavalcanti, A., Fisher, M. et al. (8 more authors) (2023) Trustworthy autonomous systems through verifiability. Computer, 56 (2). pp. 40-47. ISSN 0018-9162

Aitken, J. orcid.org/0000-0003-4204-4020, Veres, S., Shaukat, A. et al. (7 more authors) (2018) Autonomous nuclear waste management. IEEE Intelligent Systems, 33 (6). pp. 47-55. ISSN 1541-1672

Veres, S.M., Fisher, M., Dennis, L. et al. (2 more authors) (2016) Practical Verification of Decision-Making in Agent-Based Autonomous Systems. Automated Software Engineering, 23 (3). pp. 305-359. ISSN 0928-8910

Proceedings Paper

Shaukat, N., Dubey, S., Kaddouh, B. et al. (8 more authors) (2024) Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation. In: 2024 20th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA). 2024 20th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA), 02-04 Sep 2024, Genova, Italy. IEEE . ISBN 979-8-3315-1624-6

Shaukat, N., Dubey, S. orcid.org/0000-0002-7365-8474, Kaddouh, B. et al. (8 more authors) (2024) Trustworthy ROS software architecture for autonomous drones missions: from RoboChart modelling to ROS implementation. In: IEEE/ASME International Conference on Mechtronic and Embedded Systems and Applications (MESA). 2024 20th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA), 02-04 Sep 2024, Genova, Italy. Institute of Electrical and Electronics Engineers (IEEE) . ISBN 979-8-3315-1624-6