1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2018
Approximate LTL model checking
Weijun Zhu, Jianwei Wang, Yongwen Fan
The state explosion problem and the exponentially computational complexity restrict the further applications of LTL model checking. To this end, this study tries to seek an accepta…
cs.CR2018★ 1 cited
How to find a GSMem malicious activity via an AI approach
WeiJun Zhu, ShaoHuan Ban, YongWen Fan
This paper investigates the following problem: how to find a GSMem malicious activity effectively. To this end, this paper puts forward a new method based on Artificial Intelligenc…