DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS.2015.32,1657,"KrCh,ToHe",Unifying two views on multiple mean-payoff objectives in Markov decision processes