TY  - RPRT
TI  - Neural Network Verification for the Masses (of AI graduates)
AU  - Ekaterina Komendantskaya
AU  - Rob Stewart
AU  - Kirsy Duncan
AU  - Daniel Kienitz
AU  - Pierre Le Hen
AU  - Pascal Bacchus
PY  - 2019
UR  - https://arxiv.org/abs/1907.01297
ID  - 1907.01297
ER  -