%0 Journal Article
%A Attila Szász
%A Balázs Bánhelyi
%T Effective inclusion methods for verification of ReLU neural networks
%J Annales mathematicae et informaticae
%D 2024
%P 141-150
%V 60
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.33039/ami.2024.02.007/
%R 10.33039/ami.2024.02.007
%G en
%F AMI_2024_60_a14