DOI,IST REx ID,Research Group,Title of publication
10.29007/5z5k,10883,KrCh,Quasipolynomial set-based symbolic algorithms for parity games