DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-90643-5_9,19742,KrCh,Sound statistical model checking for probabilities and expected rewards
10.1007/978-3-031-90643-5_16,19741,ToHe,Automating the analysis of quantitative automata with QuAK