DOI,IST REx ID,Research Group,Title of publication
10.1016/j.jcss.2017.04.005,717,KrCh,Hyperplane separation technique for multidimensional mean-payoff games