Neural Network Verification for the Masses (of AI graduates). - Ekaterina Komendantskaya; Rob Stewart 001; Kirsty Duncan; Daniel Kienitz; Pierre Le Hen; Pascal Bacchus (CoRR, 2019)