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 2017/18
more information: https://www7.in.tum.de/~kretinsk/teaching/qv.html