Oakley, L. ., Oprea, A. ., & Tripakis, S. . (2022). Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. In (pp. 380–395). Haifa, Israel: IEEE. http://doi.org/10.1109/CSF54842.2022.9919660 (Original work published 2024)

Oakley, L. ., Oprea, A. ., & Tripakis, S. . (2022). Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. In 2022 IEEE 35th Computer Security Foundations Symposium (CSF) (pp. 380–395).