DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-37709-9_1,14758,ToHe,"A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties"