How to find a GSMem malicious activity via an AI approach. - Weijun Zhu; ShaoHuan Ban; Yongwen Fan (CoRR, 2018)

Approximate LTL model checking. - Weijun Zhu; ShaoHuan Ban; Yongwen Fan (CoRR, 2018)