First name
Mohamed
Last name
Maghenem
Castellanos, J. H., Maghenem, M. ., Cardenas, A. A., Sanfelice, R. G., & Zhou, J. . (2023). Provable Adversarial Safety in Cyber-Physical Systems. In (p. 979—1012). http://doi.org/10.1109/EuroSP57164.2023.00062 (Original work published 2024)
Castellanos, J. H., Maghenem, M. ., Cardenas, A. A., Sanfelice, R. G., & Zhou, J. . (2023). Provable Adversarial Safety in Cyber-Physical Systems. In (p. 979—1012). http://doi.org/10.1109/EuroSP57164.2023.00062 (Original work published 2024)