_id,doi,title
14920,10.46298/theoretics.23.4,Fast symbolic algorithms for mega-regular games under strong transition fairness