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
held in: WS 2018/19
more information: https://www7.in.tum.de/~kretinsk/teaching/qv.html