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)