Picture for Louise A. Dennis

Louise A. Dennis

The University of Manchester

Reinforcement Learning and Machine ethics:a systematic review

Add code
Jul 02, 2024
Viaarxiv icon

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

Add code
May 02, 2024
Figure 1 for Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Figure 2 for Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Figure 3 for Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Figure 4 for Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Viaarxiv icon

Specifying Agent Ethics (Blue Sky Ideas)

Add code
Mar 24, 2024
Viaarxiv icon

Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement

Add code
Feb 01, 2024
Viaarxiv icon

Autonomous Systems' Safety Cases for use in UK Nuclear Environments

Add code
Oct 03, 2023
Viaarxiv icon

Advising Autonomous Cars about the Rules of the Road

Add code
Sep 28, 2022
Figure 1 for Advising Autonomous Cars about the Rules of the Road
Figure 2 for Advising Autonomous Cars about the Rules of the Road
Viaarxiv icon

Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy

Add code
Jul 19, 2022
Viaarxiv icon

Towards Compositional Verification for Modular Robotic Systems

Add code
Dec 03, 2020
Figure 1 for Towards Compositional Verification for Modular Robotic Systems
Figure 2 for Towards Compositional Verification for Modular Robotic Systems
Figure 3 for Towards Compositional Verification for Modular Robotic Systems
Viaarxiv icon

Adaptable and Verifiable BDI Reasoning

Add code
Jul 23, 2020
Figure 1 for Adaptable and Verifiable BDI Reasoning
Viaarxiv icon

Modular Verification of Autonomous Space Robotics

Add code
Aug 28, 2019
Figure 1 for Modular Verification of Autonomous Space Robotics
Figure 2 for Modular Verification of Autonomous Space Robotics
Viaarxiv icon