Publications

Selected publications

Practical Verification of Decision-Making in Agent-Based Autonomous Systems (Journal article - 2013)
Formal verification of ethical choices in autonomous systems (Journal article - 2016)
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots (Journal article - 2019)
The MCAPL Framework including the Agent Infrastructure Layer and Agent Java Pathfinder (Journal article - 2018)

Filter publications

What type of publication do you want to show?

All

Journals

Conference papers

Chapters

Books

Other

2025

The Human Factor: Addressing Computing Risks for Critical National Infrastructure towards 2040

Weir, C., Loureiro-Koechlin, C., Hunt, L., & Dennis, L. (2025). The Human Factor: Addressing Computing Risks for Critical National Infrastructure towards 2040. Computers & Security, 104524. doi:10.1016/j.cose.2025.104524

DOI: 10.1016/j.cose.2025.104524
: Journal article

Formal Verification of BDI Agents

Wright, T., Dennis, L. A., Woodcock, J., & Foster, S. (2025). Formal Verification of BDI Agents. In Lecture Notes in Computer Science (pp. 302-326). Springer Nature Switzerland. doi:10.1007/978-3-031-73887-6_20

DOI: 10.1007/978-3-031-73887-6_20
: Chapter

Specifying Agent Ethics

Dennis, L. A., & Fisher, M. (2025). Specifying Agent Ethics. In Lecture Notes in Computer Science (pp. 3-14). Springer Nature Switzerland. doi:10.1007/978-3-031-82039-7_1

DOI: 10.1007/978-3-031-82039-7_1
: Chapter

2024

Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation

Shaukat, N., Dubey, S., Kaddouh, B., Blight, A., Mudrich, L., Ribeiro, P., . . . Mousavi, M. (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) (pp. 1-7). IEEE. doi:10.1109/mesa61532.2024.10704818

DOI: 10.1109/mesa61532.2024.10704818
: Conference Paper

Applying Ethical Decision Making on Space Missions

Kolker, S., Dennis, L., Pereira, R. F., & Xu, M. (2024). Applying Ethical Decision Making on Space Missions. In 2024 IEEE Space Computing Conference (SCC) (pp. 136-138). IEEE. doi:10.1109/scc61854.2024.00022

DOI: 10.1109/scc61854.2024.00022
: Conference Paper

Specifying Agent Ethics (Blue Sky Ideas)

: Preprint

Interlinked Computing in 2040: Safety, Truth, Ownership, and Accountability

Weir, C., Dyson, A., Jogunola, O., Dennis, L., & Paxton-Fear, K. (2024). Interlinked Computing in 2040: Safety, Truth, Ownership, and Accountability. Computer, 57(1), 59-68. doi:10.1109/mc.2023.3318377

DOI: 10.1109/mc.2023.3318377
: Journal article

Security-Minded Verification of Cooperative Awareness Messages

Farrell, M., Bradbury, M., Cardoso, R. C., Fisher, M., Dennis, L. A., Dixon, C., . . . Maple, C. (2024). Security-Minded Verification of Cooperative Awareness Messages. IEEE Transactions on Dependable and Secure Computing, 21(4), 4048-4065. doi:10.1109/tdsc.2023.3345543

DOI: 10.1109/tdsc.2023.3345543
: Journal article

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving

Quan, X., Valentino, M., Dennis, L. A., & Freitas, A. (2024). Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving. In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing (pp. 2933-2958). Association for Computational Linguistics. doi:10.18653/v1/2024.emnlp-main.172

DOI: 10.18653/v1/2024.emnlp-main.172
: Conference Paper

2023

Autonomous Systems' Safety Cases for use in UK Nuclear Environments

Anderson, C. R., & Dennis, L. A. (2023). Autonomous Systems' Safety Cases for use in UK Nuclear Environments. In Electronic Proceedings in Theoretical Computer Science Vol. 391 (pp. 83-88). Open Publishing Association. doi:10.4204/eptcs.391.10

DOI: 10.4204/eptcs.391.10
: Conference Paper

A Partially Synthesized Position on the Automation of Machine Ethics

Nallur, V., Dennis, L., Bringsjord, S., & Govindarajulu, N. S. (2023). A Partially Synthesized Position on the Automation of Machine Ethics. Digital Society, 2(2). doi:10.1007/s44206-023-00040-8

DOI: 10.1007/s44206-023-00040-8
: Journal article

Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]

: Preprint

Uncertain Machine Ethical Decisions Using Hypothetical Retrospection

: Preprint

Trustworthy Autonomous Systems Through Verifiability

Mousavi, M. R., Cavalcanti, A., Fisher, M., Dennis, L., Hierons, R., Kaddouh, B., . . . Woodcock, J. (2023). Trustworthy Autonomous Systems Through Verifiability. COMPUTER, 56(2), 40-47. doi:10.1109/MC.2022.3192206

DOI: 10.1109/MC.2022.3192206
: Journal article

A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers

Buiten, M. C., Dennis, L. A., & Schwammberger, M. (2023). A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers. In 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW) (pp. 332-336). IEEE. doi:10.1109/rew57809.2023.00062

DOI: 10.1109/rew57809.2023.00062
: Conference Paper

Adaptive Cognitive Agents: Updating Action Descriptions and Plans

Stringer, P., Cardoso, R. C., Dixon, C., Fisher, M., & Dennis, L. A. (2023). Adaptive Cognitive Agents: Updating Action Descriptions and Plans. In Lecture Notes in Computer Science (pp. 345-362). Springer Nature Switzerland. doi:10.1007/978-3-031-43264-4_22

DOI: 10.1007/978-3-031-43264-4_22
: Chapter

Dialogue Explanations for Rule-Based AI Systems

Xu, Y., Collenette, J., Dennis, L., & Dixon, C. (2023). Dialogue Explanations for Rule-Based AI Systems. In Lecture Notes in Computer Science (pp. 59-77). Springer Nature Switzerland. doi:10.1007/978-3-031-40878-6_4

DOI: 10.1007/978-3-031-40878-6_4
: Chapter

Prospective Responsibility for Multi-agent Systems

Collenette, J., Dennis, L., & Fisher, M. (2023). Prospective Responsibility for Multi-agent Systems. In Lecture Notes in Computer Science (pp. 247-252). Springer Nature Switzerland. doi:10.1007/978-3-031-47994-6_23

DOI: 10.1007/978-3-031-47994-6_23
: Chapter

Towards Forward Responsibility in BDI Agents

Cardoso, R. C., Ferrando, A., Collenette, J., Dennis, L. A., & Fisher, M. (2023). Towards Forward Responsibility in BDI Agents. In Lecture Notes in Computer Science (pp. 3-22). Springer Nature Switzerland. doi:10.1007/978-3-031-48539-8_1

DOI: 10.1007/978-3-031-48539-8_1
: Chapter

Uncertain Machine Ethical Decisions Using Hypothetical Retrospection

Kolker, S., Dennis, L., Fraga Pereira, R., & Xu, M. (2023). Uncertain Machine Ethical Decisions Using Hypothetical Retrospection. In Lecture Notes in Computer Science (pp. 161-181). Springer Nature Switzerland. doi:10.1007/978-3-031-49133-7_9

DOI: 10.1007/978-3-031-49133-7_9
: Chapter

2022

Explaining BDI agent behaviour through dialogue

Dennis, L. A., & Oren, N. (2022). Explaining BDI agent behaviour through dialogue. In AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS Vol. 36. doi:10.1007/s10458-022-09556-8

DOI: 10.1007/s10458-022-09556-8
: Conference Paper

Verifiable autonomy: From theory to applications

Dennis, L., Dixon, C., & Fisher, M. (2022). Verifiable autonomy: From theory to applications. AI COMMUNICATIONS, 35(4), 421-431. doi:10.3233/AIC-220115

DOI: 10.3233/AIC-220115
: Journal article

Markov chain model representation of information diffusion in social networks

Dennis, L. A., Fu, Y., & Slavkovik, M. (2022). Markov chain model representation of information diffusion in social networks. JOURNAL OF LOGIC AND COMPUTATION, 32(6), 1195-1211. doi:10.1093/logcom/exac018

DOI: 10.1093/logcom/exac018
: Journal article

Should AI Systems in Nuclear Facilities Explain Decisions the Way Humans Do? An Interview Study

Taylor, H. M., Jay, C., Lennox, B., Cangelosi, A., & Dennis, L. (2022). Should AI Systems in Nuclear Facilities Explain Decisions the Way Humans Do? An Interview Study. In 2022 31st IEEE International Conference on Robot and Human Interactive Communication (RO-MAN) (pp. 956-962). IEEE. doi:10.1109/ro-man53752.2022.9900852

DOI: 10.1109/ro-man53752.2022.9900852
: Conference Paper

Implementing Durative Actions with Failure Detection in GWENDOLEN

Stringer, P., Cardoso, R. C., Dixon, C., & Dennis, L. A. (2022). Implementing Durative Actions with Failure Detection in GWENDOLEN. In Unknown Book (Vol. 13190, pp. 332-351). doi:10.1007/978-3-030-97457-2_19

DOI: 10.1007/978-3-030-97457-2_19
: Chapter

Implementing Ethical Governors in BDI

Cardoso, R. C., Ferrando, A., Dennis, L. A., & Fisher, M. (2022). Implementing Ethical Governors in BDI. In Unknown Book (Vol. 13190, pp. 22-41). doi:10.1007/978-3-030-97457-2_2

DOI: 10.1007/978-3-030-97457-2_2
: Chapter

Verifying Autonomous Systems

Dennis, L. A. (2022). Verifying Autonomous Systems. In Unknown Book (Vol. 13274, pp. 3-17). doi:10.1007/978-3-031-07727-2_1

DOI: 10.1007/978-3-031-07727-2_1
: Chapter

2021

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems

Ferrando, A., Dennis, L. A., Cardoso, R. C., Fisher, M., Ancona, D., & Mascardi, V. (2021). Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 30(4). doi:10.1145/3447246

DOI: 10.1145/3447246
: Journal article

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations

Alves, G. V., Dennis, L., & Fisher, M. (2021). A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. JOURNAL OF SENSOR AND ACTUATOR NETWORKS, 10(3). doi:10.3390/jsan10030041

DOI: 10.3390/jsan10030041
: Journal article

A Review of Verification and Validation for Space Autonomous Systems

Cardoso, R. C., Kourtis, G., Dennis, L. A., Dixon, C., Farrell, M., Fisher, M., & Webster, M. (2021). A Review of Verification and Validation for Space Autonomous Systems. Current Robotics Reports, 2(3), 273-283. doi:10.1007/s43154-021-00058-1

DOI: 10.1007/s43154-021-00058-1
: Journal article

Verification for space robotics

Cardoso, R. C., Farrell, M., Kourtis, G., Webster, M., Dennis, L. A., Dixon, C., . . . Lisitsa, A. (2021). Verification for space robotics. In SPACE ROBOTICS AND AUTONOMOUS SYSTEMS (Vol. 131, pp. 377-408). Retrieved from https://www.webofscience.com/

: Chapter

IEEE P7001: A Proposed Standard on Transparency

Winfield, A. F. T., Booth, S., Dennis, L. A., Egawa, T., Hastie, H., Jacobs, N., . . . Watson, E. (2021). IEEE P7001: A Proposed Standard on Transparency. FRONTIERS IN ROBOTICS AND AI, 8. doi:10.3389/frobt.2021.665729

DOI: 10.3389/frobt.2021.665729
: Journal article

Agile Tasking of Robotic Systems with Explicit Autonomy

Cardoso, R. C., Michaloski, J. L., Schlenoff, C., Ferrando, A., Dennis, L. A., & Fisher, M. (2021). Agile Tasking of Robotic Systems with Explicit Autonomy. The International FLAIRS Conference Proceedings, 34(1). doi:10.32473/flairs.v34i1.128481

DOI: 10.32473/flairs.v34i1.128481
: Journal article

An Overview of Verification and Validation Challenges for Inspection Robots

Fisher, M., Cardoso, R. C., Collins, E. C., Dadswell, C., Dennis, L. A., Dixon, C., . . . Webster, M. (2021). An Overview of Verification and Validation Challenges for Inspection Robots. ROBOTICS, 10(2). doi:10.3390/robotics10020067

DOI: 10.3390/robotics10020067
: Journal article

Integrating Formal Verification and Assurance: An Inspection Rover Case Study

Bourbouh, H., Farrell, M., Mavridou, A., Sljivo, I., Brat, G., Dennis, L. A., & Fisher, M. (2021). Integrating Formal Verification and Assurance: An Inspection Rover Case Study. In Unknown Book (Vol. 12673, pp. 53-71). doi:10.1007/978-3-030-76384-8_4

DOI: 10.1007/978-3-030-76384-8_4
: Chapter

No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds

Tsvarkaleva, M., & Dennis, L. A. (2021). No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds. In Unknown Book (Vol. 12853, pp. 226-238). doi:10.1007/978-3-030-83906-2_18

DOI: 10.1007/978-3-030-83906-2_18
: Chapter

Verifiable Machine Ethics in Changing Contexts

Dennis, L. A., Bentzen, M. M., Lindner, F., & Fisher, M. (2021). Verifiable Machine Ethics in Changing Contexts. In Proceedings of the AAAI Conference on Artificial Intelligence Vol. 35 (pp. 11470-11478). Association for the Advancement of Artificial Intelligence (AAAI). doi:10.1609/aaai.v35i13.17366

DOI: 10.1609/aaai.v35i13.17366
: Conference Paper

2020

Towards Compositional Verification for Modular Robotic Systems

Cardoso, R. C., Dennis, L. A., Farrell, M., Fisher, M., & Luckcuck, M. (2020). Towards Compositional Verification for Modular Robotic Systems. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (329), 15-22. doi:10.4204/EPTCS.329.2

DOI: 10.4204/EPTCS.329.2
: Journal article

Computational Goals, Values and Decision-Making

Dennis, L. A. (2020). Computational Goals, Values and Decision-Making. SCIENCE AND ENGINEERING ETHICS, 26(5), 2487-2495. doi:10.1007/s11948-020-00244-y

DOI: 10.1007/s11948-020-00244-y
: Journal article

Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent

Alves, G. V., Dennis, L., & Fisher, M. (2020). Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. In E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, . . . D. Delmas (Eds.), Formal Methods. FM 2019 International Workshops. FM 2019. Lecture Notes in Computer Science Vol. 12232 (pp. 217-232). Porto, Portugal: Springer International Publishing. doi:10.1007/978-3-030-54994-7_16

DOI: 10.1007/978-3-030-54994-7_16
: Conference Paper

Adaptable and Verifiable BDI Reasoning*

Stringer, P., Cardoso, R. C., Huang, X., & Dennis, L. A. (2020). Adaptable and Verifiable BDI Reasoning*. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (pp. 117-125). doi:10.4204/EPTCS.319.9

DOI: 10.4204/EPTCS.319.9
: Conference Paper

Plan Library Reconfigurability in BDI Agents

Cardoso, R. C., Dennis, L. A., & Fisher, M. (2020). Plan Library Reconfigurability in BDI Agents. In 7th International Workshop on Engineering Multi-Agent Systems. Montreal Canada.

: Conference Paper

The "Why did you do that?" Button: Answering Why-questions for end users of Robotic Systems

Koeman, V., Dennis, L. A., Webster, M., Fisher, M., & Hindriks, K. (2020). The "Why did you do that?" Button: Answering Why-questions for end users of Robotic Systems. In L. Dennis, R. Bordini, & Y. Lespérance (Eds.), Engineering Multi-Agent Systems. EMAS 2019 Vol. 12058 (pp. 152-172). Montreal, Canada: Springer. doi:10.1007/978-3-030-51417-4_8

DOI: 10.1007/978-3-030-51417-4_8
: Conference Paper

Verifiable Self-Aware Agent-Based Autonomous Systems

Dennis, L. A., & Fisher, M. (2020). Verifiable Self-Aware Agent-Based Autonomous Systems. Proceedings of the IEEE, 108(7), 1011-1026. doi:10.1109/jproc.2020.2991262

DOI: 10.1109/jproc.2020.2991262
: Journal article

Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations

Webster, M., Dennis, L. A., Dixon, C., Fisher, M., Stocker, R., & Sierhuis, M. (2020). Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations. In 2020 IEEE AEROSPACE CONFERENCE (AEROCONF 2020). doi:10.1109/aero47225.2020.9172303

DOI: 10.1109/aero47225.2020.9172303
: Conference Paper

An Interface for Programming Verifiable Autonomous Agents in ROS

Cardoso, R. C., Ferrando, A., Dennis, L. A., & Fisher, M. (2020). An Interface for Programming Verifiable Autonomous Agents in ROS. In Unknown Book (Vol. 12520, pp. 191-205). doi:10.1007/978-3-030-66412-1_13

DOI: 10.1007/978-3-030-66412-1_13
: Chapter

Model-Checking Information Diffusion in Social Networks with PRISM

Dennis, L. A., & Slavkovik, M. (2020). Model-Checking Information Diffusion in Social Networks with PRISM. In MULTI-AGENT SYSTEMS AND AGREEMENT TECHNOLOGIES, EUMAS 2020, AT 2020 Vol. 12520 (pp. 475-492). doi:10.1007/978-3-030-66412-1_30

DOI: 10.1007/978-3-030-66412-1_30
: Conference Paper

Preface

Dennis, L. A., Bordini, R. H., & Lespérance, Y. (2020). Preface (Vol. 12058 LNAI).

: Book

2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems

Luckcuck, M., Farrell, M., Dennis, L. A., Dixon, C., & Fisher, M. (2019). A Summary of Formal Specification and Verification of Autonomous Robotic Systems. In INTEGRATED FORMAL METHODS, IFM 2019 Vol. 11918 (pp. 538-541). doi:10.1007/978-3-030-34968-4_33

DOI: 10.1007/978-3-030-34968-4_33
: Conference Paper

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages

Farrell, M., Bradbury, M., Yuan, H., Fisher, M., Dennis, L., Dixon, C., & Maple, C. (2019). Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. In International Conference on Software Engineering and Formal Methods.

: Conference Paper

Modular Verification of Autonomous Space Robotics

Farrell, M., Cardoso, R. C., Dennis, L. A., Dixon, C., Fisher, M., Kourtis, G., . . . Webster, M. (2019). Modular Verification of Autonomous Space Robotics. Retrieved from http://arxiv.org/abs/1908.10738v1

: Conference Paper

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots

Bremner, P., Dennis, L. A., Fisher, M., & Winfield, A. F. (2019). On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots. PROCEEDINGS OF THE IEEE, 107(3), 541-561. doi:10.1109/JPROC.2019.2898267

DOI: 10.1109/JPROC.2019.2898267
: Journal article

Reliable Decision-Making in Autonomous Vehicles

Alves, G. V., Dennis, L., Fernandes, L., & Fisher, M. (2020). Reliable Decision-Making in Autonomous Vehicles. In Validation and Verification of Automated Systems (pp. 105-117). Springer International Publishing. doi:10.1007/978-3-030-14628-3_10

DOI: 10.1007/978-3-030-14628-3_10
: Chapter

Slicing Agent Programs for More Efficient Verification

Winikoff, M., Dennis, L., & Fisher, M. (2019). Slicing Agent Programs for More Efficient Verification. In ENGINEERING MULTI-AGENT SYSTEMS, EMAS 2018 Vol. 11375 (pp. 139-157). doi:10.1007/978-3-030-25693-7_8

DOI: 10.1007/978-3-030-25693-7_8
: Conference Paper

2018

Cake, Death, and Trolleys Dilemmas as benchmarks of ethical decision-making

Bjorgen, E. P., Madsen, S., Bjorknes, T. S., Heimsaeter, F. V., Havik, R., Linderud, M., . . . Slavkovik, M. (2018). Cake, Death, and Trolleys Dilemmas as benchmarks of ethical decision-making. In PROCEEDINGS OF THE 2018 AAAI/ACM CONFERENCE ON AI, ETHICS, AND SOCIETY (AIES'18) (pp. 23-29). doi:10.1145/3278721.3278767

DOI: 10.1145/3278721.3278767
: Conference Paper

Ethics by Design

Dignum, V., Baldoni, M., Baroglio, C., Caon, M., Chatila, R., Dennis, L., . . . de Wildt, T. (2018). Ethics by Design. In Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society (pp. 60-66). ACM. doi:10.1145/3278721.3278745

DOI: 10.1145/3278721.3278745
: Conference Paper

Verifiable Self-Certifying Autonomous Systems

Fisher, M., Collins, E., Dennis, L., Luckcuck, M., Webster, M., Jump, M., . . . Zhao, X. (2018). Verifiable Self-Certifying Autonomous Systems. In 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (pp. 341-348). IEEE. doi:10.1109/issrew.2018.00028

DOI: 10.1109/issrew.2018.00028
: Conference Paper

Verifying and Validating Autonomous Systems: an Integrated Approach

Ferrando, A., Dennis, L. A., Ancona, D., Fisher, M., & Mascardi, V. (2018). Verifying and Validating Autonomous Systems: an Integrated Approach. In Runtime Verification. Limassol, Cyprus.

: Conference Paper

Autonomous Nuclear Waste Management

Aitken, J. M., Veres, S. M., Shaukat, A., Gao, Y., Cucco, E., Dennis, L. A., . . . Mort, P. E. (2018). Autonomous Nuclear Waste Management. IEEE INTELLIGENT SYSTEMS, 33(6), 47-55. doi:10.1109/MIS.2018.111144814

DOI: 10.1109/MIS.2018.111144814
: Journal article

Reconfigurable Autonomy: Architecture and Configuration Language

Dennis, L. A. (2018). Reconfigurable Autonomy: Architecture and Configuration Language (ULCS-018-002).

: Report

Machines That Know Right And Cannot Do Wrong: The Theory and Practice of Machine Ethics

Dennis, L. A., & Slavkovik, M. (2018). Machines That Know Right And Cannot Do Wrong: The Theory and Practice of Machine Ethics. IEEE Intelligent Informatics Bulletin.

: Journal article

Recognising Assumption Violations in Autonomous Systems Verification

Ferrando, A., Dennis, L. A., Ancona, D., Fisher, M., & Mascardi, V. (2018). Recognising Assumption Violations in Autonomous Systems Verification. In Autonomous Agents and Multi-agent Systems (pp. 1933-1936). Stockholm, Sweden.

: Conference Paper

Formal Specification and Verification of Autonomous Robotic Systems: A Survey

Luckcuck, M., Farrell, M., Dennis, L. A., Dixon, C., & Fisher, M. (2019). Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM COMPUTING SURVEYS, 52(5). doi:10.1145/3342355

DOI: 10.1145/3342355
: Journal article

The MCAPL Framework including the Agent Infrastructure Layer and Agent Java Pathfinder

Dennis, L. A. (2018). The MCAPL Framework including the Agent Infrastructure Layer and Agent Java Pathfinder. The Journal of Open Source Software. doi:10.31105/joss.00617

DOI: 10.31105/joss.00617
: Journal article

Two-stage agent program verification

Dennis, L. A., Fisher, M., & Webster, M. (2018). Two-stage agent program verification. JOURNAL OF LOGIC AND COMPUTATION, 28(3), 499-523. doi:10.1093/logcom/exv002

DOI: 10.1093/logcom/exv002
: Journal article

Verifiable Self-Certifying Autonomous Systems

Fisher, M., Collins, E. C., Dennis, L. A., Luckcuck, M., Webster, M., Jump, M., . . . Zhao, X. (2018). Verifiable Self-Certifying Autonomous Systems. In 2018 29TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW) (pp. 341-348). doi:10.1109/1SSREW.2018.00028

DOI: 10.1109/1SSREW.2018.00028
: Conference Paper

2017

Formal Verification of Autonomous Vehicle Platooning

Kamali, M., Dennis, L. A., McAree, O., Fisher, M., & Veres, S. M. (2017). Formal Verification of Autonomous Vehicle Platooning. Science of Computer Programming, 148, 88-106. doi:10.1016/j.scico.2017.05.006

DOI: 10.1016/j.scico.2017.05.006
: Journal article

The MCAPL Framework 2017

Dennis, L. A. (2017). The MCAPL Framework 2017 (Version 2017) [Computer Software]. doi:10.5281/zenodo.854668

DOI: 10.5281/zenodo.854668
: Software / Code

Gwendolen Semantics: 2017

Dennis, L. A. (2017). Gwendolen Semantics: 2017 (ULCS-17-001).

: Report

"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks

Dennis, L. A., Slavkovik, M., & Fisher, M. (2017). "How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. In Coordination, Organizations, Institutions and Norms in Agent Systems XII. The Hague, The Netherlands.

: Conference Paper

2016

Lego Rovers (Education Set)

Dennis, L. A., Collenette, J., & Kotsialou, G. (2016). Lego Rovers (Education Set) (Version 1.5) [Computer Software].

: Software / Code

Lego Rovers (Home Set)

Dennis, L. A., Collenette, J., & Kotsialou, G. (2016). Lego Rovers (Home Set) (Version 1.5) [Computer Software].

: Software / Code

Agent-based Autonomous Systems and Abstraction Engines: Theory meets Practice

Dennis, L. A., Aitken, J., Collenette, J., Cucco, E., Kamali, M., McAree, O., . . . Fisher, M. (2016). Agent-based Autonomous Systems and Abstraction Engines: Theory meets Practice. In Towards Autonomous Robotic Systems conference (TAROS 2016). Sheffield, UK.

: Conference Paper

Formal verification of ethical choices in autonomous systems

Dennis, L., Fisher, M., Slavkovik, M., & Webster, M. (2016). Formal verification of ethical choices in autonomous systems. ROBOTICS AND AUTONOMOUS SYSTEMS, 77, 1-14. doi:10.1016/j.robot.2015.11.012

DOI: 10.1016/j.robot.2015.11.012
: Journal article

2015

Lego Dinosaurs

Dennis, L. (2015). Lego Dinosaurs [Computer Software]. Retrieved from https://github.com/legorovers/LegoDinos

: Software / Code

Lego Dinosaurs at Cheltenham Science Festival

Lego Dinosaurs at Cheltenham Science Festival (2015, June 2). [Exhibition]. Imperial Gardens, Cheltenham.

: Exhibition

Towards Verifiably Ethical Robot Behaviour

Dennis, L. A., Fisher, M., & Winfield, A. F. T. (2015). Towards Verifiably Ethical Robot Behaviour. Retrieved from http://arxiv.org/abs/1504.03592v1

: Journal article

An abstract formal basis for digital crowds

Slavkovikj, M., Dennis, L., & Fisher, M. (2015). An abstract formal basis for digital crowds. Distributed and Parallel Databases, 33(1), 3-31. doi:10.1007/s10619-014-7161-y

DOI: 10.1007/s10619-014-7161-y
: Journal article

A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance

van Riemsdijk, M. B., Dennis, L., Fisher, M., & Hindriks, K. V. (2015). A Semantic Framework for Socially Adaptive Agents Towards strong norm compliance. PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 423-432. Retrieved from https://www.webofscience.com/

: Journal article

2014

Reconfigurable Autonomy

Dennis, L. A., Fisher, M., Aitken, J. M., Veres, S. M., Gao, Y., Shaukat, A., & Burroughes, G. (2014). Reconfigurable Autonomy. KI - Künstliche Intelligenz, 28(3), 199-207. doi:10.1007/s13218-014-0308-1

DOI: 10.1007/s13218-014-0308-1
: Journal article

Actions with Durations and Failures in BDI Languages

Dennis, L. A., & Fisher, M. (2014). Actions with Durations and Failures in BDI Languages. In 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014) Vol. 263 (pp. 995-996). doi:10.3233/978-1-61499-419-0-995

DOI: 10.3233/978-1-61499-419-0-995
: Conference Paper

Ethical Choice in Unforeseen Circumstances

Dennis, L., Fisher, M., Slavkovik, M., & Webster, M. (2014). Ethical Choice in Unforeseen Circumstances. In TOWARDS AUTONOMOUS ROBOTIC SYSTEMS Vol. 8069 (pp. 433-445). doi:10.1007/978-3-662-43645-5_45

DOI: 10.1007/978-3-662-43645-5_45
: Conference Paper

ROS-AIL Integration

Dennis, L. (2014). ROS-AIL Integration. Department of Computer Science, University of Liverpool. Retrieved from http://intranet.csc.liv.ac.uk/research/techreports/?id=ULCS-14-004

: Report

Safe Autonomous Space Software

Dennis, L., Fisher, M., Veres, S., & Lincoln, N. (2014). Safe Autonomous Space Software. Space Safety Magazine, 0. Retrieved from http://www.spacesafetymagazine.com/safe-autonomous-space-software/

: Journal article

2013

Preface

Baldoni, M., Dennis, L., Mascardi, V., & Vasconcelos, W. (2013). Preface (Vol. 7784 LNAI).

: Book

Autonomous Asteroid Exploration by Rational Agents

Lincoln, N. K., Veres, S. M., Dennis, L. A., Fisher, M., & Lisitsa, A. (2013). Autonomous Asteroid Exploration by Rational Agents. IEEE COMPUTATIONAL INTELLIGENCE MAGAZINE, 8(4), 25-38. doi:10.1109/MCI.2013.2279559

DOI: 10.1109/MCI.2013.2279559
: Journal article

Using Agent JPF to Build Models for Other Model Checkers

Dennis, L. A., Fisher, M., & Webster, M. (2013). Using Agent JPF to Build Models for Other Model Checkers. In COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV Vol. 8143 (pp. 273-289). Retrieved from https://www.webofscience.com/

: Conference Paper

Practical Verification of Decision-Making in Agent-Based Autonomous Systems

Dennis, L., Fisher, M., Lincoln, N. K., Lisitsa, A., & Veres, S. M. (2014). Practical Verification of Decision-Making in Agent-Based Autonomous Systems. Automated Software Engineering, 23(3), 305-359. doi:10.1007/s10515-014-0168-9

DOI: 10.1007/s10515-014-0168-9
: Journal article

Verifying Autonomous Systems

Fisher, M., Dennis, L., & Webster, M. (2013). Verifying Autonomous Systems. COMMUNICATIONS OF THE ACM, 56(9), 84-93. doi:10.1145/2500468.2494558

DOI: 10.1145/2494558
: Journal article

Verifying autonomous systems

Fisher, M., Dennis, L., & Webster, M. (2013). Verifying autonomous systems. Communications of the ACM, 56(9), 84-93. doi:10.1145/2494558

DOI: 10.1145/2494558
: Journal article

Agent reasoning for norm compliance: A semantic approach

Van Riemsdijk, M. B., Dennis, L. A., Fisher, M., & Hindriks, K. V. (2013). Agent reasoning for norm compliance: A semantic approach. In 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013 Vol. 1 (pp. 499-506).

: Conference Paper

Ethical Choice in Unforeseen Circumstances

Dennis, L., Fisher, M., Slavkovik, M., & Webster, M. (2013). Ethical Choice in Unforeseen Circumstances. In 14th Conference Towards Autonomous Robotic Systems (TAROS) (pp. 0). Oxford: Springer.

: Conference Paper

2012

Verifying Brahms Human-Robot Teamwork Models

Stocker, R., Dennis, L., Dixon, C., & Fisher, M. (2012). Verifying Brahms Human-Robot Teamwork Models. In Unknown Conference (pp. 385-397). Springer Berlin Heidelberg. doi:10.1007/978-3-642-33353-8_30

DOI: 10.1007/978-3-642-33353-8_30
: Conference Paper

Preface

Dennis, L. A., Boissier, O., & Bordini, R. H. (2012). Preface (Vol. 7217 LNAI).

: Book

Plan Indexing for State-Based Plans

Dennis, L. A. (2012). Plan Indexing for State-Based Plans. In Unknown Conference (pp. 3-15). Springer Berlin Heidelberg. doi:10.1007/978-3-642-29113-5_2

DOI: 10.1007/978-3-642-29113-5_2
: Conference Paper

Model Checking Agent Programming Languages

Dennis, L. A., Farwer, B., Bordini, R. H., & Hubner, J. F. (2009). Model Checking Agent Programming Languages [Internet (free access)]. Retrieved from http://mcapl.sourceforge.net/

: Software / Code

Model checking agent programming languages

Dennis, L. A., Fisher, M., Webster, M. P., & Bordini, R. H. (2012). Model checking agent programming languages. AUTOMATED SOFTWARE ENGINEERING, 19(1), 5-63. doi:10.1007/s10515-011-0088-x

DOI: 10.1007/s10515-011-0088-x
: Journal article

Declarative Agent Languages and Technologies IX

Sakama, C., Sardina, S., Vasconcelos, W., & Winikoff, M. (Eds.) (2012). Declarative Agent Languages and Technologies IX. In . Springer Berlin Heidelberg. doi:10.1007/978-3-642-29113-5

DOI: 10.1007/978-3-642-29113-5
: Conference Paper

2011

A Formal Semantics for Brahms

Stocker, R., Sierhuis, M., Dennis, L., Dixon, C., & Fisher, M. (2011). A Formal Semantics for Brahms. In COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS Vol. 6814 (pp. 259-274). Retrieved from https://www.webofscience.com/

: Conference Paper

The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling

Dennis, L. A., Green, I., & Smaill, A. (2011). The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling. JOURNAL OF AUTOMATED REASONING, 47(1), 57-105. doi:10.1007/s10817-010-9177-y

DOI: 10.1007/s10817-010-9177-y
: Journal article

Declarative Abstractions for Agent Based Hybrid Control Systems

Dennis, L. A., Fisher, M., Lincoln, N. K., Lisitsa, A., & Veres, S. M. (2011). Declarative Abstractions for Agent Based Hybrid Control Systems. In DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VIII (DALT) Vol. 6619 (pp. 96-111). Retrieved from https://www.webofscience.com/

: Conference Paper

2010

Model Checking Normative Agent Organisations

Dennis, L., Tinnemeier, N., & Meyer, J. -J. (2010). Model Checking Normative Agent Organisations. In COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS Vol. 6214 (pp. 64-+). Retrieved from https://www.webofscience.com/

: Conference Paper

Directions for Agent Model Checking

Bordini, R. H., Dennis, L. A., Farwer, B., & Fisher, M. (2010). Directions for Agent Model Checking. In SPECIFICATION AND VERIFICATION OF MULTI-AGENT SYSTEMS (pp. 103-123). doi:10.1007/978-1-4419-6984-2_4

DOI: 10.1007/978-1-4419-6984-2_4
: Chapter

Satellite Control Using Rational Agent Programming

Dennis, L., Fisher, M., Lisitsa, A., Lincoln, N., & Veres, S. (2010). Satellite Control Using Rational Agent Programming. IEEE INTELLIGENT SYSTEMS, 25(3), 92-97. doi:10.1109/MIS.2010.88

DOI: 10.1109/MIS.2010.88
: Journal article

Agent Based Approaches to Engineering Autonomous Space Software

Dennis, L. A., Fisher, M., Lincoln, N., Lisitsa, A., & Veres, S. M. (2010). Agent Based Approaches to Engineering Autonomous Space Software. In EPTCS 20, 2010, pp. 63-67. Retrieved from http://dx.doi.org/10.4204/EPTCS.20.6

: Conference Paper

An Agent Based Framework for Adaptive Control and Decision Making of Autonomous Vehicles

Dennis, L., Fisher, M., Lincoln, N. K., Veres, S. M., & Lisitsa, A. (2010). An Agent Based Framework for Adaptive Control and Decision Making of Autonomous Vehicles. In IFAC Proceedings Volumes Vol. 43 (pp. 310-317). Elsevier BV. doi:10.3182/20100826-3-tr-4015.00058

DOI: 10.3182/20100826-3-tr-4015.00058
: Conference Paper

2009

Programming Verifiable Heterogeneous Agent Systems

Dennis, L. A., & Fisher, M. (2009). Programming Verifiable Heterogeneous Agent Systems. In PROGRAMMING MULTI-AGENT SYSTEMS Vol. 5442 (pp. 40-55). Retrieved from https://www.webofscience.com/

: Conference Paper

Model Checking Normative Agent Organisations

Dennis, L. A., Tinnemeier, N., & Meyer, J. -J. (2009). Model Checking Normative Agent Organisations. In J. Dix, M. Fisher, & P. Novak (Eds.), Computational Logic in Multi-Agent Systems (CLIMA-X) (pp. Not yet known). Hamburg: Springer.

: Conference Paper

2008

Gwendolen: A BDI language for verifiable agents

Dennis, L. A., & Farwer, B. (2008). Gwendolen: A BDI language for verifiable agents. In AISB 2008 Convention: Communication, Interaction and Social Intelligence - Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning (pp. 16-23).

: Conference Paper

Automated Verification of Multi-Agent Programs

Bordini, R. H., Dennis, L. A., Farwer, B., & Fisher, M. (2008). Automated Verification of Multi-Agent Programs. In 2008 23rd IEEE/ACM International Conference on Automated Software Engineering. IEEE. doi:10.1109/ase.2008.17

DOI: 10.1109/ase.2008.17
: Conference Paper

A common basis for agent organisation in BDI languages

Hepple, A., Dennis, L., & Fisher, M. (2008). A common basis for agent organisation in BDI languages. In LANGUAGES, METHODOLOGIES AND DEVELOPMENT TOOLS FOR MULTI-AGENT SYSTEMS Vol. 5118 (pp. 71-88). doi:10.1007/978-3-540-85058-8_5

DOI: 10.1007/978-3-540-85058-8_5
: Conference Paper

A common semantic basis for BDI languages

Dennis, L. A., Farwer, B., Bordini, R. H., Fisher, M., & Wooldridge, M. (2008). A common semantic basis for BDI languages. In PROGRAMMING MULTI-AGENT SYSTEMS Vol. 4908 (pp. 124-+). Retrieved from https://www.webofscience.com/

: Conference Paper

A flexible framework for verifying agent programs

Dennis, L. A., Farwer, B., Bordini, R. H., & Fisher, M. (2008). A flexible framework for verifying agent programs. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS Vol. 3 (pp. 1277-1280).

: Conference Paper

Language Constructs for Multi-agent Programming

Dennis, L., Fisher, M., & Hepple, A. (2008). Language Constructs for Multi-agent Programming. In COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS Vol. 5056 (pp. 137-156). Retrieved from https://www.webofscience.com/

: Conference Paper

Language Constructs for Multi-agent Programming

Dennis, L., Fisher, M., & Hepple, A. (2008). Language Constructs for Multi-agent Programming. In Lecture Notes in Computer Science (pp. 137-156). Springer Berlin Heidelberg. doi:10.1007/978-3-540-88833-8_8

DOI: 10.1007/978-3-540-88833-8_8
: Chapter

2007

Enhancing Theorem Prover Interfaces with Program Slice Information

Dennis, L. A. (2007). Enhancing Theorem Prover Interfaces with Program Slice Information. Electronic Notes in Theoretical Computer Science, 174(2), 19-33. doi:10.1016/j.entcs.2006.09.019

DOI: 10.1016/j.entcs.2006.09.019
: Journal article

2006

On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner

Dennis, L. A., Jamnik, M., & Pollet, M. (2006). On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner. Electronic Notes in Theoretical Computer Science, 151(1), 93-110. doi:10.1016/j.entcs.2005.11.025

DOI: 10.1016/j.entcs.2005.11.025
: Journal article

Program Slicing and Middle-Out Reasoning for Error Location and Repair

Dennis, L. A. (2006). Program Slicing and Middle-Out Reasoning for Error Location and Repair. In W. Ahrendt, P. Baumgartner, & H. de Nivelle (Eds.), Disproving '06: Non-Theorems, Non-Validity, Non-Provability (pp. 34-48). Seattle: Pre-proceedings.

: Conference Paper

2005

An architecture for proof planning systems

Dennis, L. A. (2005). An architecture for proof planning systems. In IJCAI International Joint Conference on Artificial Intelligence (pp. 1558-1559).

: Conference Paper

2004

Evaluating alternative gait strategies using evolutionary robotics

Sellers, W. I., Dennis, L. A., Wang, W. J., & Crompton, R. H. (2004). Evaluating alternative gait strategies using evolutionary robotics. JOURNAL OF ANATOMY, 204(5), 343-351. doi:10.1111/j.0021-8782.2004.00294.x

DOI: 10.1111/j.0021-8782.2004.00294.x
: Journal article

2003

Predicting the metabolic energy costs of bipedalism using evolutionary robotics.

Sellers, W. I., Dennis, L. A., & Crompton, R. H. (2003). Predicting the metabolic energy costs of bipedalism using evolutionary robotics.. The Journal of experimental biology, 206(Pt 7), 1127-1136. doi:10.1242/jeb.00205

DOI: 10.1242/jeb.00205
: Journal article

The PROSPER toolkit

Dennis, L. A., Collins, G., Norrish, M., Boulton, R. J., Slind, K., & Melham, T. F. (2003). The PROSPER toolkit. International Journal on Software Tools for Technology Transfer (STTT), 4(2), 189-210. doi:10.1007/s100090200076

DOI: 10.1007/s100090200076
: Journal article

2002

A Comparison of Two Proof Critics: Power vs. Robustness

Dennis, L. A., & Bundy, A. (2002). A Comparison of Two Proof Critics: Power vs. Robustness. In Unknown Conference (pp. 182-197). Springer Berlin Heidelberg. doi:10.1007/3-540-45685-6_13

DOI: 10.1007/3-540-45685-6_13
: Conference Paper

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Calmet, J., Benhamou, B., Caprotti, O., Henocque, L., & Sorge, V. (Eds.) (2002). Artificial Intelligence, Automated Reasoning, and Symbolic Computation. In . Springer Berlin Heidelberg. doi:10.1007/3-540-45470-5

DOI: 10.1007/3-540-45470-5
: Conference Paper

Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus

Zimmer, J., & Dennis, L. A. (2002). Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. In Lecture Notes in Computer Science (pp. 319-331). Springer Berlin Heidelberg. doi:10.1007/3-540-45470-5_28

DOI: 10.1007/3-540-45470-5_28
: Chapter

2001

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain

Dennis, L. A., & Smaill, A. (2001). Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. In Unknown Conference (pp. 185-200). Springer Berlin Heidelberg. doi:10.1007/3-540-44755-5_14

DOI: 10.1007/3-540-44755-5_14
: Conference Paper

2000

Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts

Dennis, L. A., Bundy, A., & Green, I. (2000). Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Annals of Mathematics and Artificial Intelligence, 29(1-4), 99-138. doi:10.1023/a:1018940332714

DOI: 10.1023/a:1018940332714
: Journal article

System Description: Embedding Verification into Microsoft Excel

Collins, G., & Dennis, L. A. (2000). System Description: Embedding Verification into Microsoft Excel. In Unknown Conference (pp. 497-501). Springer Berlin Heidelberg. doi:10.1007/10721959_40

DOI: 10.1007/10721959_40
: Conference Paper

The PROSPER Toolkit

Dennis, L. A., Collins, G., Norrish, M., Boulton, R., Slind, K., Robinson, G., . . . Melham, T. (2000). The PROSPER Toolkit. In TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS Vol. 1785 (pp. 78-92). Retrieved from https://www.webofscience.com/

: Conference Paper

1997

Using a generalisation critic to find bisimulations for coinductive proofs

Dennis, L., Bundy, A., & Green, I. (1997). Using a generalisation critic to find bisimulations for coinductive proofs. In AUTOMATED DEDUCTION - CADE-14 Vol. 1249 (pp. 276-290). Retrieved from https://www.webofscience.com/

: Conference Paper