Yiping Tang, Kohei Hatano, Eiji Takimoto. Boosting-Based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks. In Albert Bifet, Ana Carolina Lorena, Rita P. Ribeiro, João Gama 0001, Pedro H. Abreu, editors, Discovery Science - 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings. Volume 14276 of Lecture Notes in Computer Science, pages 477-491, Springer, 2023. [doi]
@inproceedings{TangHT23,
title = {Boosting-Based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks},
author = {Yiping Tang and Kohei Hatano and Eiji Takimoto},
year = {2023},
doi = {10.1007/978-3-031-45275-8_32},
url = {https://doi.org/10.1007/978-3-031-45275-8_32},
researchr = {https://researchr.org/publication/TangHT23},
cites = {0},
citedby = {0},
pages = {477-491},
booktitle = {Discovery Science - 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings},
editor = {Albert Bifet and Ana Carolina Lorena and Rita P. Ribeiro and João Gama 0001 and Pedro H. Abreu},
volume = {14276},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-45275-8},
}