Dynamic and Scalable Deep Neural Network Verification Algorithm Topics: Deep Learning; Neural Networks; Uncertainty in AI In Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, 1122-1130, 2021