First name
Alvaro
Middle name
A.
Last name
Cardenas
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)
Garg, K. ., Sanfelice, R. G., & Cardenas, A. A. (2022). Control Barrier Function-Based Attack-Recovery with Provable Guarantees. In (pp. 4808–4813). Cancun, Mexico: IEEE. http://doi.org/10.1109/CDC51059.2022.9993206 (Original work published 2024)