DOI,IST REx ID,Research Group,Title of publication
10.1016/j.ic.2015.03.001,1698,"KrCh,ToHe",The complexity of multi-mean-payoff and multi-energy games