The paper "Verifying Global Neural Network Specifications using Hyperproperties", authored by David Boetius and Stefan Leue has been accepted for presentation at the 9th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS 2023, in Paris, France.