_id,doi,title
12529,10.1007/978-3-030-99527-0_5,A direct symbolic algorithm for solving stochastic rabin games