@article{DBLP:journals/corr/abs-1805-09938,
  author       = {Francesco Leofante and
                  Nina Narodytska and
                  Luca Pulina and
                  Armando Tacchella},
  title        = {Automated Verification of Neural Networks: Advances, Challenges and
                  Perspectives},
  journal      = {CoRR},
  volume       = {abs/1805.09938},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.09938},
  eprinttype    = {arXiv},
  eprint       = {1805.09938},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-09938.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"wGJaG6cstsdNweDtw","bibbaseid":"leofante-narodytska-pulina-tacchella-automatedverificationofneuralnetworksadvanceschallengesandperspectives-2018","authorIDs":["5d9b51d6cdd2a9db0100008a"],"author_short":["Leofante, F.","Narodytska, N.","Pulina, L.","Tacchella, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Francesco"],"propositions":[],"lastnames":["Leofante"],"suffixes":[]},{"firstnames":["Nina"],"propositions":[],"lastnames":["Narodytska"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Pulina"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Tacchella"],"suffixes":[]}],"title":"Automated Verification of Neural Networks: Advances, Challenges and Perspectives","journal":"CoRR","volume":"abs/1805.09938","year":"2018","url":"http://arxiv.org/abs/1805.09938","eprinttype":"arXiv","eprint":"1805.09938","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-1805-09938.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1805-09938,\n author = {Francesco Leofante and\n Nina Narodytska and\n Luca Pulina and\n Armando Tacchella},\n title = {Automated Verification of Neural Networks: Advances, Challenges and\n Perspectives},\n journal = {CoRR},\n volume = {abs/1805.09938},\n year = {2018},\n url = {http://arxiv.org/abs/1805.09938},\n eprinttype = {arXiv},\n eprint = {1805.09938},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-1805-09938.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Leofante, F.","Narodytska, N.","Pulina, L.","Tacchella, A."],"key":"DBLP:journals/corr/abs-1805-09938","id":"DBLP:journals/corr/abs-1805-09938","bibbaseid":"leofante-narodytska-pulina-tacchella-automatedverificationofneuralnetworksadvanceschallengesandperspectives-2018","role":"author","urls":{"Paper":"http://arxiv.org/abs/1805.09938"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/35/5174.bib","creationDate":"2019-10-07T14:54:32.501Z","downloads":0,"keywords":[],"search_terms":["automated","verification","neural","networks","advances","challenges","perspectives","leofante","narodytska","pulina","tacchella"],"title":"Automated Verification of Neural Networks: Advances, Challenges and Perspectives","year":2018,"dataSources":["ZaYFzBozM5y6GfdHt","3Dzxkfwia2RSLWvyc","erc2rRjg4ZK7Z5Xew"]}