Akintunde, M. E.; Kevorchian, A.; Lomuscio, A.; Pirovano, E. Verification of RNN-Based Neural Agent-Environment Systems. AAAI 2019, 33, 6006-6013.