most citedApproximate Group Fairness for Clustering

4 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2012

Model-Checking of Linear-Time Properties Based on Possibility Measure

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…