Leping Wu

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Dynamic Aspects

Search Algorithm

Convolutional Neural Networks

Colored Petri Nets

Top Venues

Publications

Liang Zhao, Leping Wu, Yu Gao, Xiaobing Wang, Bin Yu
Formal Modeling and Verification of Convolutional Neural Networks based on MSVL. DSA (2022)