Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Faiq Ghawash, Enrique Blanco Viñuela. Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN. In Lazaros Iliadis 0001, Ilias Maglogiannis, Serafín Alonso, Chrisina Jayne, Elias Pimenidis, editors, Engineering Applications of Neural Networks - 24th International Conference, EAAAI/EANN 2023, León, Spain, June 14-17, 2023, Proceedings. Volume 1826 of Communications in Computer and Information Science, pages 420-432, Springer, 2023. [doi]
Abstract is missing.