reposiTUm: Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example

Record link:

http://hdl.handle.net/20.500.12708/191694
https://doi.org/10.34726/5351

Title:

Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example

Citation:

Lopez-Miguel, I. D., Fernández Adiego, B., Ghawash, F., & Blanco Vinuela, E. (2023, April 20). Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example [Presentation]. Reliability and Availability Working Group Meeting (RAWG 2023), Geneva, Switzerland. https://doi.org/10.34726/5351

reposiTUm DOI:

10.34726/5351

Publication Type:

Presentation - Presentation

Language:

English

Authors:

Lopez-Miguel, Ignacio D.
Fernández Adiego, Borja
Ghawash, Faiq
Blanco Vinuela, Enrique

Organisational Unit:

E191-01 - Forschungsbereich Cyber-Physical Systems
E056-13 - Fachbereich LogiCS

Date (published):

20-Apr-2023