Leofante, Narodytska, Pulina, Tacchella, 2018. Automated Verification of Neural Networks: Advances, Challenges and Perspectives.