_id,doi,title
625,10.1007/978-3-319-63121-9_18,The cost of exactness in quantitative reachability