82 citations · 179 across the 16 of their papers we have counts for
1 paper · 2 filters
Yongming Li, Lijun Li
We study the LTL model-checking in possibilistic Kripke structure using possibility measure. First, the notion of possibilistic Kripke structure and the related possibility measure…