DOI,IST REx ID,Research Group,Title of publication
10.1145/1970398.1970404,3354,"KrCh,ToHe",Qualitative concurrent parity games