DOI,IST REx ID,Research Group,Title of publication
10.5281/ZENODO.14626585,19771,KrCh,Artifact: Fixed point certificates for reachability and expected rewards in MDPs