DOI,IST REx ID,Research Group,Title of publication
10.46298/theoretics.23.4,14920,ToHe,Fast symbolic algorithms for mega-regular games under strong transition fairness