DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CONCUR.2024.29,18068,"ToHe,GradSch",Strategic dominance: A new preorder for nondeterministic processes