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