DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-19992-9_20,12170,KrCh,"PET – A partial exploration tool for probabilistic verification"