Lorenz Winkler
Projektass.(FWF) Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Publications
-
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)