TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Lorenz Winkler

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

Lorenz Winkler

Role

Contact

  • 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) / ProbInG (2020–2025)
  • 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)