2 papers
cs.LG2024
Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels
Benedikt Brückner, Alessio Lomuscio
We develop a method for the efficient verification of neural networks against convolutional perturbations such as blurring or sharpening. To define input perturbations we use well-…
cs.MA2023
SHAPE: A Framework for Evaluating the Ethicality of Influence
Elfia Bezou-Vrakatseli, Benedikt Brückner, Luke Thorburn
Agents often exert influence when interacting with humans and non-human agents. However, the ethical status of such influence is often unclear. In this paper, we present the SHAPE…