Abdelrahman Sayed Sayed

About
Publications
CV

Announcement_saiv25

Created on May 28, 2025

2025

Our paper “Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification” was accepted in SAIV 2025 co-located with CAV 2025

© Copyright 2025 Abdelrahman Sayed Sayed. Powered by Jekyll with al-folio theme.