Picture for Louise Dennis

Louise Dennis

Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems

Add code
Jan 30, 2025
Figure 1 for Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
Viaarxiv icon

Uncertain Machine Ethical Decisions Using Hypothetical Retrospection

Add code
May 02, 2023
Viaarxiv icon

Formal Specification and Verification of Autonomous Robotic Systems: A Survey

Add code
Sep 03, 2018
Figure 1 for Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Figure 2 for Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Figure 3 for Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Figure 4 for Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Viaarxiv icon

Practical Challenges in Explicit Ethical Machine Reasoning

Add code
Jan 04, 2018
Figure 1 for Practical Challenges in Explicit Ethical Machine Reasoning
Viaarxiv icon

Towards Moral Autonomous Systems

Add code
Oct 31, 2017
Figure 1 for Towards Moral Autonomous Systems
Viaarxiv icon