Search Results for author: Luiz H. Sena

Found 1 papers, 1 papers with code

Incremental Bounded Model Checking of Artificial Neural Networks in CUDA

1 code implementation30 Jul 2019 Luiz H. Sena, Iury V. Bessa, Mikhail R. Gadelha, Lucas C. Cordeiro, Edjard Mota

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

Cannot find the paper you are looking for? You can Submit a new open access paper.