I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Courses

Quantitative Verification
held by: Univ.-Prof. Dr. Jan Kretinsky
M.Sc. Kush Grover
held in: WS 2020/21
more information: https://www7.in.tum.de/~kretinsk/teaching/qv.html