_id,doi,title
14317,10.1007/978-3-031-37709-9_5,"MDPs as distribution transformers: Affine invariant synthesis for safety objectives"
14318,10.1007/978-3-031-37709-9_2,"Automated tail bound analysis for probabilistic recurrence relations"
14758,10.1007/978-3-031-37709-9_1,"A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties"