82 citations · 179 across the 16 of their papers we have counts for
1 paper · 2 filters
Yongming Li
Model checking of linear-time properties based on possibility measures was studied in previous work (Y. Li and L. Li, Model checking of linear-time properties based on possibility…