TY  - JOUR
AU  - Attila Szász
AU  - Balázs Bánhelyi
TI  - Effective inclusion methods for verification of ReLU neural networks
JO  - Annales mathematicae et informaticae
PY  - 2024
SP  - 141
EP  - 150
VL  - 60
UR  - http://geodesic.mathdoc.fr/articles/10.33039/ami.2024.02.007/
DO  - 10.33039/ami.2024.02.007
LA  - en
ID  - AMI_2024_60_a14
ER  -