ML Anthology
Authors
Search
About
Kevorchian, Andreea
1 publications
AAAI
2019
Verification of RNN-Based Neural Agent-Environment Systems
Michael E. Akintunde
,
Andreea Kevorchian
,
Alessio Lomuscio
,
Edoardo Pirovano