RAWG Meeting

2023-04-20

Links

Indico

Minutes

Topics and contributions

• RAWG News (J. Uythoven)

• Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example. (B. Fernandez Adiego, I. Lopez)

• Formal Methods Interest Group – Introduction and Recent Activities (B. Fernandez Adiego)

Actions

No action for this meeting.