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 2025)

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).