_id,doi,title
10904,10.1007/978-3-642-32940-1_10,Strategy synthesis for multi-dimensional quantitative objectives