DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-45221-5_17,2238,KrCh,Multi-objective discounted reward verification in graphs and MDPs