Liang Zhao, Leping Wu, Yu Gao, Xiaobing Wang, Bin Yu. Formal Modeling and Verification of Convolutional Neural Networks based on MSVL. In 9th International Conference on Dependable Systems and Their Applications, DSA 2022, Wulumuqi, China, August 4-5, 2022. pages 280-289, IEEE, 2022. [doi]
Abstract is missing.