Output Range Analysis for Deep Neural Networks based on Simulated Annealing Processes. - Helder Rojas; Nilton Rojas; Espinoza J. B.; Luis Huamanchumo (CoRR, 2024)