TY  - RPRT
TI  - Outside the Box: Abstraction-Based Monitoring of Neural Networks
AU  - Thomas A. Henzinger
AU  - Anna Lukina
AU  - Christian Schilling
PY  - 2020
DO  - 10.3233/faia200375
UR  - https://arxiv.org/abs/1911.09032
ID  - 1911.09032
ER  -