Non-divergent Imitation for Verification of Complex Learned Controllers. - Vahdat Abdelzad; Jaeyoung Lee 003; Sean Sedwards; Soheil Soltani; Krzysztof Czarnecki 001 (IJCNN, 2021)