An overview of verification and validation challenges for inspection robots

M Fisher, RC Cardoso, EC Collins, C Dadswell… - Robotics, 2021 - mdpi.com
The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …

IEEE P7001: A proposed standard on transparency

AFT Winfield, S Booth, LA Dennis, T Egawa… - Frontiers in Robotics …, 2021 - frontiersin.org
This paper describes IEEE P7001, a new draft standard on transparency of autonomous
systems. In the paper, we outline the development and structure of the draft standard. We …

Trustworthy ai

R Chatila, V Dignum, M Fisher, F Giannotti… - Reflections on artificial …, 2021 - Springer
Modern AI systems have become of widespread use in almost all sectors with a strong
impact on our society. However, the very methods on which they rely, based on Machine …

Verifiable self-aware agent-based autonomous systems

LA Dennis, M Fisher - Proceedings of the IEEE, 2020 - ieeexplore.ieee.org
In this article, we describe an approach to autonomous system construction that not only
supports self-awareness but also formal verification. This is based on modular construction …

Explaining BDI agent behaviour through dialogue

LA Dennis, N Oren - Autonomous Agents and Multi-Agent Systems, 2022 - Springer
BDI agents act in response to external inputs and their internal plan library. Understanding
the root cause of BDI agent action is often difficult, and in this paper we present a dialogue …

[HTML][HTML] A double-level model checking approach for an agent-based autonomous vehicle and road junction regulations

GV Alves, L Dennis, M Fisher - Journal of Sensor and Actuator Networks, 2021 - mdpi.com
Usually, the design of an Autonomous Vehicle (AV) does not take into account traffic rules
and so the adoption of these rules can bring some challenges, eg, how to come up with a …

A generalizable architecture for explaining robot failures using behavior trees and large language models

C Tagliamonte, D Maccaline, G LeMasurier… - Companion of the 2024 …, 2024 - dl.acm.org
As robots are more commonly being deployed in shared human-robot environments, the
need for robots to communicate their failures and answer questions about them becomes …

Argument-based plan explanation

N Oren, K van Deemter, WW Vasconcelos - Knowledge engineering tools …, 2020 - Springer
We describe a tool for providing explanation of plans to non-technical users, built on formal
argumentation and dialogue theory, and supported by natural language generation and …

Engineering responsible and explainable models in human-agent collectives

DB Abeywickrama, SD Ramchurn - Applied Artificial Intelligence, 2024 - Taylor & Francis
In human-agent collectives, humans and agents need to work collaboratively and agree on
collective decisions. However, ensuring that agents responsibly make decisions is a …

An ethical black box for social robots: a draft open standard

AFT Winfield, A van Maris, P Salvini… - arxiv preprint arxiv …, 2022 - arxiv.org
This paper introduces a draft open standard for the robot equivalent of an aircraft flight data
recorder, which we call an ethical black box. This is a device, or software module, capable of …