DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.MFCS.2025.57,20291,ToHe,Resolving nondeterminism with randomness