A Multi-Level Corroborative Approach for Verification and Validation of Autonomous Robotic Swarms

no code implementations • 22 Jul 2024 • Dhaminda B. Abeywickrama, Suet Lee, Chris Bennett, Razanne Abu-Aisheh, Tom Didiot-Cook, Simon Jones, Sabine Hauert, Kerstin Eder

We explore our approach through a case study focused on a swarm of robots operating within a public cloakroom.

Soft Gripping: Specifying for Trustworthiness

no code implementations • 3 Jul 2023 • Dhaminda B. Abeywickrama, Nguyen Hao Le, Greg Chance, Peter D. Winter, Arianna Manzini, Alix J. Partridge, Jonathan Ives, John Downer, Graham Deacon, Jonathan Rossiter, Kerstin Eder, Shane Windsor

Soft robotics is an emerging technology in which engineers create flexible devices for use in a variety of applications.

Ethics

Assessing Trustworthiness of Autonomous Systems

no code implementations • 5 May 2023 • Gregory Chance, Dhaminda B. Abeywickrama, Beckett LeClair, Owen Kerr, Kerstin Eder

As Autonomous Systems (AS) become more ubiquitous in society, more responsible for our safety and our interaction with them more frequent, it is essential that they are trustworthy.

AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms

no code implementations • 20 Feb 2023 • Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder

The behaviours of a swarm are not explicitly engineered.

On Specifying for Trustworthiness

no code implementations • 22 Jun 2022 • Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance, Yiannis Demiris, Anastasia Kordoni, Mark Levine, Luke Moffat, Luc Moreau, Mohammad Reza Mousavi, Bashar Nuseibeh, Subramanian Ramamoorthy, Jan Oliver Ringert, James Wilson, Shane Windsor, Kerstin Eder

As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial.