CTL Symbolic Model Checking Based on Fuzzy Logic. - Pengzhan Nie; Jiulei Jiang; Zhanyou Ma (DASC/PiCom/CBDCom/CyberSciTech, 2020)