Browse by People

Dennis, Louise A ORCID: 0000-0003-1426-1896 and Fisher, Michael (2014) Actions with Durations and Failures in BDI Languages. In: European Conference in Artificial Intelligences, Czech Republic.

Stringer, Peter ORCID: 0000-0002-8760-4717, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Dennis, Louise A ORCID: 0000-0003-1426-1896 (2020) Adaptable and Verifiable BDI Reasoning*. In: Agents and Robots for Reliable Engineered Autonomy.

Collenette, Joe, Dennis, Louise A and Fisher, Michael (2022) Advising Autonomous Cars about the Rules of the Road. .

Aitken, Jonathan M, Veres, Sandor M, Shaukat, Affan, Gao, Yang, Cucco, Elisa, Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael, Kuo, Jeffrey A, Robinson, Thomas and Mort, Paul E (2018) Autonomous Nuclear Waste Management. IEEE INTELLIGENT SYSTEMS, 33 (6). pp. 47-55.

Bjorgen, Edvard P, Madsen, Simen, Bjorknes, Therese S, Heimsaeter, Fredrik V, Havik, Robin, Linderud, Morten, Longberg, Per-Niklas, Dennis, Louise A ORCID: 0000-0003-1426-1896 and Slavkovik, Marija (2018) Cake, Death, and Trolleys Dilemmas as benchmarks of ethical decision-making. In: AIES '18: AAAI/ACM Conference on AI, Ethics, and Society, 2018-2-2 - 2018-2-3, New Orleans, USA.

Dennis, Louise A ORCID: 0000-0003-1426-1896 (2020) Computational Goals, Values and Decision-Making. SCIENCE AND ENGINEERING ETHICS, 26 (5). pp. 2487-2495.

Dennis, Louise A ORCID: 0000-0003-1426-1896 and Oren, Nir ORCID: 0000-0002-4854-9014 (2022) Explaining BDI agent behaviour through dialogue. Autonomous Agents and Multi-Agent Systems, 36 (2).

Luckcuck, Matt ORCID: 0000-0002-6444-9312, Farrell, Marie ORCID: 0000-0001-7708-3877, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533 and Fisher, Michael (2019) Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM COMPUTING SURVEYS, 52 (5). 5-.

Webster, Matt ORCID: 0000-0002-8817-6881, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Stocker, Richard and Sierhuis, Maarten (2020) Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations. In: 2020 IEEE Aerospace Conference, 2020-3-7 - 2020-3-14.

Kamali, Maryam ORCID: 0000-0002-2789-6914, Dennis, Louise A ORCID: 0000-0003-1426-1896, McAree, Owen, Fisher, Michael and Veres, Sandor M (2017) Formal Verification of Autonomous Vehicle Platooning. Science of Computer Programming, 148. pp. 88-106.

Collapse authors list.
Winfield, Alan FT, Booth, Serena, Dennis, Louise A ORCID: 0000-0003-1426-1896, Egawa, Takashi, Hastie, Helen, Jacobs, Naomi, Muttram, Roderick I, Olszewska, Joanna I, Rajabiyazdi, Fahimeh, Theodorou, Andreas et al (show 3 more authors) , Underwood, Mark A, Wortham, Robert H and Watson, Eleanor (2021) IEEE P7001: A Proposed Standard on Transparency. FRONTIERS IN ROBOTICS AND AI, 8. 665729-.

MacConville, Dara, Farrell, Marie, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Monahan, Rosemary (2022) Modelling the Turtle Python library in CSP. .

Farrell, Marie ORCID: 0000-0001-7708-3877, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Webster, Matt ORCID: 0000-0002-8817-6881 (2019) Modular Verification of Autonomous Space Robotics. In: IEEE International Conference on Space Mission Challenges for Information, 2019-7-30 - 2019-8-1, Pasadena, California, USA.

Bremner, Paul, Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael and Winfield, Alan F (2019) On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots. PROCEEDINGS OF THE IEEE, 107 (3). pp. 541-561.

Collapse authors list.
Fisher, Michael, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Collins, Emily C ORCID: 0000-0001-9396-536X, Dadswell, Christopher, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Farrell, Marie ORCID: 0000-0001-7708-3877, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Jump, Mike ORCID: 0000-0002-1028-2334 et al (show 7 more authors) , Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Luo, Shan ORCID: 0000-0003-4760-0372, Page, Vincent, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Webster, Matt ORCID: 0000-0002-8817-6881 (2021) An Overview of Verification and Validation Challenges for Inspection Robots. ROBOTICS, 10 (2). p. 67.

Cardoso, RC ORCID: 0000-0001-6666-6954, Dennis, Louise A ORCID: 0000-0003-1426-1896 and Fisher, Michael (2020) Plan Library Reconfigurability in BDI Agents. In: 7th International Workshop on Engineering Multi-Agent Systems, 2019-5-13 - 2019-5-14, Montreal Canada.

Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael, Aitken, Jonathan M, Veres, Sandor M, Gao, Yang, Shaukat, Affan and Burroughes, Guy (2014) Reconfigurable Autonomy. KI - Künstliche Intelligenz, 28 (3). pp. 199-207.

Luckcuck, Matt ORCID: 0000-0002-6444-9312, Farrell, Marie ORCID: 0000-0001-7708-3877, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533 and Fisher, Michael (2019) A Summary of Formal Specification and Verification of Autonomous Robotic Systems. In: Integrated Formal Methods.

Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Dennis, Louise A ORCID: 0000-0003-1426-1896, Farrell, Marie ORCID: 0000-0001-7708-3877, Fisher, Michael and Luckcuck, Matt ORCID: 0000-0002-6444-9312 (2020) Towards Compositional Verification for Modular Robotic Systems. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 329 (329). pp. 15-22.

Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael and Winfield, Alan FT (2015) Towards Verifiably Ethical Robot Behaviour. AAAI Workshop - Technical Report, WS-15-. pp. 45-52.

Stocker, Richard Towards the formal verification of human-agent-robot teamwork. Doctor of Philosophy thesis, University of Liverpool.

Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael and Webster, Matt ORCID: 0000-0002-8817-6881 (2018) Two-stage agent program verification. JOURNAL OF LOGIC AND COMPUTATION, 28 (3). pp. 499-523.

Dennis, Louise A ORCID: 0000-0003-1426-1896 and Fisher, Michael (2020) Verifiable Self-Aware Agent-Based Autonomous Systems. Proceedings of the IEEE, 108 (7). pp. 1011-1026.

Dennis, Louise A ORCID: 0000-0003-1426-1896, Farwer, Berndt, Bordini, Rafael H, Fisher, Michael and Wooldridge, Michael (2008) A common semantic basis for BDI languages. In: Programming Multi-Agent Systems, Honolulu, USA.