_id,doi,title
2238,10.1007/978-3-642-45221-5_17,Multi-objective discounted reward verification in graphs and MDPs