|
X. E. Fink, B. Fernandez Adiego, B. Schofield, and J.-P. Katoen, “Towards safe and robust neural network controllers at CERN: a review of methods and challenges”, in Proc. 20th International Conference on Accelerator and Large Experimental Control Systems (ICALEPCS'25), Chicago, IL, USA, Sep. 2025, paper WEPD074, pp. 1207-1214. |
|
J. Castro Pinto, L. Gutierrez Prendes, B. Schofield, B. Fernandez Adiego, X. E. Fink, and J. Ortola Vidal, “From testing to verification: a comprehensive methodology for industrial controls frameworks”, in Proc. 20th International Conference on Accelerator and Large Experimental Control Systems (ICALEPCS'25), Chicago, IL, USA, Sep. 2025, paper THPD103, pp. 1843-1849. |
