APA-Zitierstil (7. Ausg.)

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-Zitierstil (17. Ausg.)

Schwan, Roland, Colin N. Jones, und 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-Zitierstil (9. Ausg.)

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.