Verification of RNN-Based Neural Agent-Environment Systems.

Michael E. Akintunde, Andreea Kevorchian, Alessio Lomuscio, Edoardo Pirovano

Browse the full AAAI paper archive.