Szász, Attila, Bánhelyi, Balázs (2024) Effective inclusion methods for verification of ReLU neural networks Annales Mathematicae et Informaticae. ISSN 1787-6117 (Online)