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

Datensatz Zitierlink:

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

Titel:

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

Zitat:

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

Publikationstyp:

Vortrag - Presentation

Sprache:

Englisch

Autor_innen:

Lopez Miguel, Ignacio David
Fernández Adiego, Borja
Ghawash, Faiq
Blanco Vinuela, Enrique

Organisationseinheit:

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

Datum (veröffentlicht):

20-Apr-2023