Fazlyab, M., Morari, M., & Pappas, G. J. (2022). Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming. IEEE transactions on automatic control, 67(1), 1-15. https://doi.org/10.1109/TAC.2020.3046193
Chicago Style (17th ed.) CitationFazlyab, Mahyar, Manfred Morari, and George J. Pappas. "Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming." IEEE Transactions on Automatic Control 67, no. 1 (2022): 1-15. https://doi.org/10.1109/TAC.2020.3046193.
MLA (9th ed.) CitationFazlyab, Mahyar, et al. "Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming." IEEE Transactions on Automatic Control, vol. 67, no. 1, 2022, pp. 1-15, https://doi.org/10.1109/TAC.2020.3046193.