Liyun Dai

Video Static Foreground Detection Method for Desktop Robotic Arm

Zhiming Liu, Jianxin Wu, Liyun Dai, 2021 .

Decidability of the Reachability for a Family of Linear Vector Fields

Bican Xia, Naijun Zhan, Ting Gan, 2015, ATVA.