_id,doi,title
7505,10.3233/FAIA200375,Outside the box: Abstraction-based monitoring of neural networks