ShaoHuan Ban

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 2

Top Topics

Transition Systems

Alternating Time Temporal Logic

Malicious Behavior

Top Venues

Publications

Weijun Zhu, ShaoHuan Ban, Yongwen Fan
How to find a GSMem malicious activity via an AI approach. CoRR (2018)
Weijun Zhu, ShaoHuan Ban, Yongwen Fan
Approximate LTL model checking. CoRR (2018)