M. E. Akintunde, A. Kevorchian, A. Lomuscio, and E. Pirovano, “Verification of RNN-Based Neural Agent-Environment Systems”, AAAI, vol. 33, no. 01, pp. 6006-6013, Jul. 2019.