%0 Conference Paper %1 conf/atva/GuidottiPT21 %A Guidotti, Dario %A Pulina, Luca %A Tacchella, Armando %B ATVA %D 2021 %E Hou, Zhe %E Ganesh, Vijay %I Springer %K dblp %P 357-363 %T pyNeVer: A Framework for Learning and Verification of Neural Networks. %U http://dblp.uni-trier.de/db/conf/atva/atva2021.html#GuidottiPT21 %V 12971 %@ 978-3-030-88885-5

@inproceedings{conf/atva/GuidottiPT21, added-at = {2023-08-19T00:00:00.000+0200}, author = {Guidotti, Dario and Pulina, Luca and Tacchella, Armando}, biburl = {https://www.bibsonomy.org/bibtex/20c9c425e8aaf2d36ecebbc35ee5c395b/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2021}, editor = {Hou, Zhe and Ganesh, Vijay}, ee = {https://doi.org/10.1007/978-3-030-88885-5_23}, interhash = {7837931736f75fc60a8229e83bdda275}, intrahash = {0c9c425e8aaf2d36ecebbc35ee5c395b}, isbn = {978-3-030-88885-5}, keywords = {dblp}, pages = {357-363}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:24:46.000+0200}, title = {pyNeVer: A Framework for Learning and Verification of Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2021.html#GuidottiPT21}, volume = 12971, year = 2021 }