DOI,IST REx ID,Title of publication
10.1007/978-3-030-99527-0_5,12529,A direct symbolic algorithm for solving stochastic rabin games