%0 Conference Paper %1 conf/qrs/LiuCMYW23 %A Liu, Jiangchao %A Chen, Liqian %A Miné, Antoine %A Yu, Hengbiao %A Wang, Ji %B QRS Companion %D 2023 %I IEEE %K dblp %P 237-246 %T Input Validation for Neural Networks via Local Robustness Verification. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2023c.html#LiuCMYW23 %@ 979-8-3503-5939-8

@inproceedings{conf/qrs/LiuCMYW23, added-at = {2024-05-13T00:00:00.000+0200}, author = {Liu, Jiangchao and Chen, Liqian and Miné, Antoine and Yu, Hengbiao and Wang, Ji}, biburl = {https://www.bibsonomy.org/bibtex/2c97aa87437e1bb821482c94fc51fabf4/dblp}, booktitle = {QRS Companion}, crossref = {conf/qrs/2023c}, ee = {https://doi.org/10.1109/QRS-C60940.2023.00090}, interhash = {3b75afbab88131d84f8fcad39c880add}, intrahash = {c97aa87437e1bb821482c94fc51fabf4}, isbn = {979-8-3503-5939-8}, keywords = {dblp}, pages = {237-246}, publisher = {IEEE}, timestamp = {2024-05-20T07:24:10.000+0200}, title = {Input Validation for Neural Networks via Local Robustness Verification.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2023c.html#LiuCMYW23}, year = 2023 }