@article{AMI_2024_60_a14,
     author = {Attila Sz\'asz and Bal\'azs B\'anhelyi},
     title = {Effective inclusion methods for verification of {ReLU} neural networks},
     journal = {Annales mathematicae et informaticae},
     pages = {141--150},
     publisher = {mathdoc},
     volume = {60},
     year = {2024},
     doi = {10.33039/ami.2024.02.007},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.33039/ami.2024.02.007/}
}