Gu, F.; Yin, H.; Ghaoui, L. . . E.; Arcak, M.; Seiler, P.; Jin, M. Recurrent Neural Network Controllers Synthesis With Stability Guarantees for Partially Observed Systems. AAAI 2022, 36, 5385-5394.