Mikhail R. Gadelha

Incremental Bounded Model Checking of Artificial Neural Networks in CUDA

2019

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. However, implementations of ANNs for safety-critical systems might lead to failures, …