Photo of Moritz Hahn
  • Room 01.004 - Computer Science Building

    United Kingdom

Accepting PhD Students

PhD projects

I am open to PhD projects related to the area of (stochastic/probabilistic) model checking and generally formal methods such as but not limited to - very large or infinitely large models (using state-space truncation, finite-state projection, (multi-terminal) binary decision diagrams (BDDs), satisfiability modulo theories (SMT), and similar approaches) - analysis of parametric and interval Markov models - stochastic parity games - stochastic hybrid (discrete-continuous) systems - efficient algorithms for deciding linear time logic properties (omega-regular properties) - learning of Markov models - real-world applications of such methods

If you made any changes in Pure these will be visible here soon.

Research Output 2006 2019

4 Citations (Scopus)

A Simple Algorithm for Solving Qualitative Probabilistic Parity Games

Hahn, E. M., Schewe, S., Turrini, A. & Zhang, L., 2016, p. 291. 311 p.

Research output: Contribution to conferencePaper