The Probabilistic Termination Tool Amber

von Moosbrugger, Marcel
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Automated Termination Analysis of Polynomial Probabilistic Programs

von Moosbrugger, Marcel
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)

Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments

von Kofnov, Andrey
Veröffentlicht in QEST (19. : 2022 : Warschau) Quantitative evaluation of systems (2022)

Distribution Estimation for Probabilistic Loops

von Karimi, Ahmad
Veröffentlicht in QEST (19. : 2022 : Warschau) Quantitative evaluation of systems (2022)

Solving Invariant Generation for Unsolvable Loops

von Amrollahi, Daneshvar
Veröffentlicht in SAS (29. : 2022 : Auckland) Static analysis (2022)