DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.FSCD.2024.2,17327,ToHe,Abstraction-based decision making for statistical properties