Neural Networks in Imandra: Matrix Representation as a Verification Choice.

Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya

Browse the full CAV paper archive.