DOI,IST REx ID,Research Group,Title of publication
10.1145/3453483.3454093,9644,KrCh,Proving non-termination by program reversal
10.1145/3453483.3454076,9645,KrCh,Polynomial reachability witnesses via Stellensätze
10.1145/3453483.3454102,9646,KrCh,Quantitative analysis of assertion violations in probabilistic programs