_id,doi,title
14758,10.1007/978-3-031-37709-9_1,"A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties"