research
∙
02/20/2023
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms
The behaviours of a swarm are not explicitly engineered. Instead, they a...
share
research
∙
06/22/2022
On Specifying for Trustworthiness
As autonomous systems are becoming part of our daily lives, ensuring the...
research
∙
09/10/2021
SMARRT: Self-Repairing Motion-Reactive Anytime RRT for Dynamic Environments
This paper addresses the fast replanning problem in dynamic environments...
research
∙
11/21/2017