2022
Formal Modeling and Verification of Convolutional Neural Networks based on MSVL.
[DOI]
Liang Zhao
,
Leping Wu
,
Yu Gao
,
Xiaobing Wang
,
Bin Yu
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022