Model checking fuzzy computation tree logic

Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma. Model checking fuzzy computation tree logic. Fuzzy Sets and Systems, 262:60-77, 2015. [doi]

Authors

Haiyu Pan

This author has not been identified. Look up 'Haiyu Pan' in Google

Yongming Li

This author has not been identified. Look up 'Yongming Li' in Google

Yongzhi Cao

This author has not been identified. Look up 'Yongzhi Cao' in Google

Zhanyou Ma

This author has not been identified. Look up 'Zhanyou Ma' in Google