Diagnosis, synthesis and analysis of probabilistic models
Tingting Han · 2009
I still remember the summer back in 2005 when I took this PhD position.Four years were just like a snap of fingers, leaving me this booklet and many vivid pieces of snapshots deep and clear in my mind.I was a "risk" four years ago when Joost-Pieter Katoen, my promotor and supervisor, decided to offer me this job.After all, to Joost-Pieter at that time, I was nothing more than a two-page CV and a short international call.I do appreciate this trust, which in these years keeps urging me to make progress and "make profits":).His expertise, insights and far-reaching interests broadened my views and helped me find "shorter (if not the shortest:) paths" at each crossroad.I am grateful for his enduring guidance, his great support, understanding and flexibility.I am also thankful for his big effort and contribution going to China in 2008, visiting different universities and institutes, giving both tutorials and more advanced invited talks, attracting more Chinese students and researchers to the field of formal verification.Many results presented in this thesis are a product of joint work.Apart from Joost-Pieter, I am grateful to Berteun Damman,