APA (7th ed.) Citation

Schwan, R., Jones, C. N., & Kuhn, D. (2023). Stability Verification of Neural Network Controllers Using Mixed-Integer Programming. IEEE transactions on automatic control, 68(12), 1-16. https://doi.org/10.1109/TAC.2023.3283213

Chicago Style (17th ed.) Citation

Schwan, Roland, Colin N. Jones, and Daniel Kuhn. "Stability Verification of Neural Network Controllers Using Mixed-Integer Programming." IEEE Transactions on Automatic Control 68, no. 12 (2023): 1-16. https://doi.org/10.1109/TAC.2023.3283213.

MLA (9th ed.) Citation

Schwan, Roland, et al. "Stability Verification of Neural Network Controllers Using Mixed-Integer Programming." IEEE Transactions on Automatic Control, vol. 68, no. 12, 2023, pp. 1-16, https://doi.org/10.1109/TAC.2023.3283213.