DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-75387-9_1,17634,"GradSch,ToHe",QuAK: Quantitative Automata Kit