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)