CTL Symbolic Model Checking Based on Fuzzy Logic.

Pengzhan Nie, Jiulei Jiang, Zhanyou Ma

Browse the full DASC paper archive.