"Runtime Verified Neural Networks for Cyber-Physical Systems", VORTEX 2024 - Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, Co-located with: ISSTA 2024, 2024International(SES)School of Electrical Sciences