Akintunde ME, Kevorchian A, Lomuscio A, Pirovano E. Verification of RNN-Based Neural Agent-Environment Systems. AAAI [Internet]. 2019Jul.17 [cited 2024Apr.24];33(01):6006-13. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/4555