Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
Ehlers, Rüdiger Narayan Kumar, K. ; D'Souza, Deepak
Automated Technology for Verification and Analysis, p.269-286
[Periódico revisado por pares]
Cham: Springer International Publishing
Sem texto completo