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