Termination of Polynomial Loops

von Frohn, Florian
Veröffentlicht in SAS (27. : 2020 : Online) Static analysis (2020)

Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes

von Meyer, Fabian
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)