_id,doi,title 1698,10.1016/j.ic.2015.03.001,The complexity of multi-mean-payoff and multi-energy games