20 citations · 20 across the 4 of their papers we have counts for
7 papers
Graph-Based Learning for Multi-Horizon Martian Atmospheric Forecasting
Gary Myler, James Holmes, Manish Patel +1
Martian weather forecasting is important for future exploration, but atmospheric behaviour on Mars combines spatial, temporal, vertical, and dust-driven processes in ways that chal…
From Failure to Alignment: A Requirements Engineering Framework for Machine Learning Systems
Amel Bennaceur, Gopi Krishnan Rajbahadur, Prince Mercy +2
Organisations designing, developing, and deploying machine learning systems (MLS) need to be able to check that these systems are trustworthy, and communicate this clearly to their…
FormIDEAble: Safe and Socially-aware Autonomous Systems
Livia Lestingi, Amel Bennaceur, Marcello M. Bersani +5
Autonomous agents operating in socio-critical settings must coordinate with humans under uncertainty while respecting explicit safety constraints. Existing approaches either accoun…
Dynasto: Validity-Aware Dynamic-Static Parameter Optimization for Autonomous Driving Testing
Dmytro Humeniuk, Mohammad Hamdaqa, Houssem Ben Braiek +2
Extensive simulation-based testing is important for assuring the safety of autonomous driving systems (ADS). However, generating safety-critical traffic scenarios remains challengi…
Safe and Socially Aware Multi-Robot Coordination in Multi-Human Social Care Settings
Ayodeji O. Abioye, Jayati Deshmukh, Athina Georgara +6
This research investigates strategies for multi-robot coordination in multi-human environments. It proposes a multi-objective learning-based coordination approach to addressing the…
On Specifying for Trustworthiness
Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance +12
As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial. In order to demonstrate the trustworthiness of an AS, we first ne…
On Adaptive Fairness in Software Systems
Ali Farahani, Liliana Pasquale, Amel Bennaceur +2
Software systems are increasingly making decisions on behalf of humans, raising concerns about the fairness of such decisions. Such concerns are usually attributed to flaws in algo…