DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-41528-4_1,1386,KrCh,Termination analysis of probabilistic programs through Positivstellensatz's