D. Garlan

Formal Verification of Deep Neural Networks for Image Classification in Industrial Environments

Deep Learning methods, particularly Convolutional Neural Networks (CNNs), have become widely adopted in industrial computer vision applications due to their strong image classification capabilities. Industrial autonomous systems, such as autonomous mobile robots (AMRs), rely on accurate object perception to ensure safe...