Incremental Bounded Model Checking of Artificial Neural Networks in CUDA

Luiz H. Sena, Iury V. Bessa, Mikhail R. Gadelha +2

Artificial Neural networks (ANNs) are powerful computing systems employed for various applications due to their versatility to generalize and to respond to unexpected inputs/patter…