Dr. Michael Huth

Dr. Daniel Kuhn

I am a postgraduate student in Imperial College London working on stochastic parity games. They give intuitive representation to model checking problems. Important papers, tools, and findings will be listed below.