An overview of verification and validation challenges for inspection robots
The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …
hazardous and distant environments to carry out inspections increasingly avoidable. Being …
Using formal methods for autonomous systems: Five recipes for formal verification
M Luckcuck - Proceedings of the Institution of Mechanical …, 2023 - journals.sagepub.com
Formal Methods are mathematically-based techniques for software design and engineering,
which enable the unambiguous description of and reasoning about a system's behaviour …
which enable the unambiguous description of and reasoning about a system's behaviour …
Implementing Durative Actions with Failure Detection in Gwendolen
We present an extension of the semantics for action execution in the Gwendolen BDI
programming language. This extension firstly explicitly assumes that actions have durations …
programming language. This extension firstly explicitly assumes that actions have durations …
Failure recovery mechanism for BDI agents based on abilities and discovery protocols
H Baitiche, M Bouzenada, DE Saidouni - Journal of Ambient Intelligence …, 2024 - Springer
An ambient agent may fail to achieve its goal due to the dynamism and nondeterminism of
the environment. Based on the concepts of Abilities and Discovery Protocols, we present a …
the environment. Based on the concepts of Abilities and Discovery Protocols, we present a …
Updating Action Descriptions and Plans for Cognitive Agents
In this paper we present an extension of Belief-Desire-Intention agents which can adapt their
performance in response to changes in their environment. Specifically we consider …
performance in response to changes in their environment. Specifically we consider …
Verifiable autonomy: From theory to applications
Abstract The Autonomy and Verification group 1 1 sits within the Department of Computer
Science 2 2 at the University of Manchester. The group has a long history of research into …
Science 2 2 at the University of Manchester. The group has a long history of research into …
[PDF][PDF] Enabling BDI Agents to Reason on a Dynamic Action Repertoire in Hypermedia Environments
D Vachtsevanou, B de Lima, A Ciortea… - Proceedings of the 23rd …, 2024 - ifaamas.org
Autonomy requires adaptability and persistence in pursuing longterm objectives within
evolving contexts. While BDI agents can cope with dynamic and uncertain environments …
evolving contexts. While BDI agents can cope with dynamic and uncertain environments …
Agents and robots for reliable engineered autonomy: A perspective from the organisers of AREA 2020
Multi-agent systems, robotics and software engineering are large and active research areas
with many applications in academia and industry. The First Workshop on Agents and Robots …
with many applications in academia and industry. The First Workshop on Agents and Robots …
Abductive design of BDI agent-based digital twins of organizations
A Digital Twin ideally manifests the same behaviour (in silico) of its physical counterpart.
While considerable attention has been paid to the development of Digital Twins for physical …
While considerable attention has been paid to the development of Digital Twins for physical …
Adaptive Cognitive Agents: Updating Action Descriptions and Plans
In this paper we present an extension of Belief-Desire-Intention agents which can adapt their
performance in response to changes in their environment. We consider situations in which …
performance in response to changes in their environment. We consider situations in which …