The paper “Towards safe and robust neural network controllers at CERN: a review of methods and challenges” by Xaver Fink, Borja Fernandez Adiego (CERN), Brad Schofield (CERN) and Joost-Pieter Katoen has been accepted at the 20th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS’25, https://proceedings.jacow.org/icalepcs2025/). The paper reviews the challenges of ensuring safety, robustness, and stability in context of neural network-based control systems at CERN. It includes the roles of neural networks in control architectures, the process of formalizing requirements into verification properties, and an overview of state-of-the-art methods for verifying static and temporal properties.