_id,doi,title
788,10.1007/978-3-319-66799-7_11,Robust detection in leak-prone population protocols