Lorenz Winkler

Projektass.(FWF) Dipl.-Ing. / BSc

Role

Positive Almost-Sure Termination of Polynomial Random Walks / Winkler, L., & Kovács, L. (2025). Positive Almost-Sure Termination of Polynomial Random Walks. In P. Prabhakar & A. Vandin (Eds.), Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (pp. 275–292). Springer. https://doi.org/10.1007/978-3-032-05792-1_15
Projects: ARTIST (2021–2026) / PathGuideWWTF (2023–2027)
Positive almost-sure termination of polynomial random walks / Winkler, L. (2025). Positive almost-sure termination of polynomial random walks [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.132761
Download: PDF (1.51 MB)