DOI,IST REx ID,Research Group,Title of publication
10.3233/FAIA200375,7505,ToHe,Outside the box: Abstraction-based monitoring of neural networks