Marcel Moosbrugger
Projektass. Dipl.-Ing. / BSc BA (Hons)
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Publications
- Automating Termination Analysis of Probabilistic Programs / Master Thesis by M. Moosbrugger / Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, 2020; final examination: 2020-06-23