ML Anthology

Akintunde, Michael E.

1 publications

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