"Verification of RNN-Based Neural Agent-Environment Systems."

Michael E. Akintunde et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics