Luca Pulina Armando Tacchella NeVer: a tool for artificial neural networks verification. 403-425 2011 62 Ann. Math. Artif. Intell. 3-4 http://dx.doi.org/10.1007/s10472-011-9243-0 db/journals/amai/amai62.html#PulinaT11