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