Patrick Henriksen, Alessio Lomuscio. DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis. In Zhi-Hua Zhou, editor, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021. pages 2549-2555, ijcai.org, 2021. [doi]
@inproceedings{HenriksenL21,
title = {DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis},
author = {Patrick Henriksen and Alessio Lomuscio},
year = {2021},
doi = {10.24963/ijcai.2021/351},
url = {https://doi.org/10.24963/ijcai.2021/351},
researchr = {https://researchr.org/publication/HenriksenL21},
cites = {0},
citedby = {0},
pages = {2549-2555},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021},
editor = {Zhi-Hua Zhou},
publisher = {ijcai.org},
}