_id,doi,title
14318,10.1007/978-3-031-37709-9_2,"Automated tail bound analysis for probabilistic recurrence relations"