LECHNER, M., ZIKELIC, D., CHATTERJEE, K., & HENZINGER, T. A. (2024). Stability verification in stochastic control systems via neural network supermartingales. Institutional Knowledge at Singapore Management University.
Chicago Style CitationLECHNER, Mathias, Dorde ZIKELIC, Krishnendu CHATTERJEE, and Thomas A. HENZINGER. Stability Verification in Stochastic Control Systems Via Neural Network Supermartingales. Institutional Knowledge at Singapore Management University, 2024.
MLA CitationLECHNER, Mathias, Dorde ZIKELIC, Krishnendu CHATTERJEE, and Thomas A. HENZINGER. Stability Verification in Stochastic Control Systems Via Neural Network Supermartingales. Institutional Knowledge at Singapore Management University, 2024.
Warning: These citations may not always be 100% accurate.