Study on fairness of group recommendation based on stochastic model checking | IEEE Conference Publication | IEEE Xplore