Verification of RNN-Based Neural Agent-Environment Systems. - Michael E. Akintunde; Andreea Kevorchian; Alessio Lomuscio; Edoardo Pirovano (AAAI, 2019)