activity
20142026
most citedSound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

19 citations · 31 across the 15 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.LO2019

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…