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

20062019

Research output per year

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

Personal profile

Research Interests

My research area is located in the area of formal methods. I work in probabilistic model checking, which is the automatic analysis of properties (given e.g. as ω-regular languages) of stochastic models (such as for instance Markov decision processes). Within this area, I am especially interested in

  • very large or infinitely large models,
  • parametric and interval Markov models,
  • stochastic parity games,
  • stochastic hybrid (discrete-continuous) systems,
  • efficient algorithms for deciding linear time logic properties,
  • quantum Markov models, and
  • learning of Markov models.

Fingerprint Dive into the research topics where Moritz Hahn is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

ARCH-COMP19 Category Report: Stochastic Modelling

Abate, A., Blom, H., Cauchi, N., Degiorgio, K., Fränzle, M., Hahn, E. M., Haesaert, S., Ma, H., Oishi, M., Pilch, C., Remke, A., Salamati, M., Soudjani, S., Huijgevoort, B. V. & Vinod, A. P., 2019, ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019.. p. 62-102 41 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Interval Markov Decision Processes with Multiple Objectives: from Robust Strategies to Pareto Curves

Hahn, E. M., Hashemi, V., Hermanns, H., Lahijanian, M. & Turrini, A., 18 Nov 2019, In : ACM Transactions on Modeling and Computer Simulation. 29, 4, 31 p., 27.

Research output: Contribution to journalArticle

Open Access
File
  • 1 Citation (Scopus)
    20 Downloads (Pure)

    Omega-Regular Objectives in Model-Free Reinforcement Learning

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A. & Liverpool, U., 04 Apr 2019, TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer Lecture Notes in Computer Science (LNCS), Vol. 11427. p. 395-412 (Lecture Notes in Computer Science; vol. 11427).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 4 Citations (Scopus)
    63 Downloads (Pure)

    The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)

    Hahn, E. M., Hartmanns, A., Hensel, C., Klauck, M., Klein, J., Kretínský, J., Parker, D., Quatmann, T., Ruijters, E. & Steinmetz, M., 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Steffen, B., Kordon, F., Beyer, D. & Huisman, M. (eds.). p. 69-92 24 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 6 Citations (Scopus)

    Accelerated Model Checking of Parametric Markov Chains

    Gainer, P., Hahn, E. M. & Schewe, S., 30 Sep 2018, International Symposium on Automated Technology for Verification and Analysis, 2018. p. 300-316 17 p. (Lecture notes in Computer Science; vol. 11138).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 4 Citations (Scopus)
    146 Downloads (Pure)

    Activities

    • 3 Other
    • 2 Visiting an external academic institution
    • 1 Participation in workshop, seminar, course
    • 1 Research and Teaching at External Organisation

    Stochastic Hybrid Systems Meeting

    Moritz Hahn (Participant)
    04 Nov 201906 Nov 2019

    Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

    University of Oxford

    Moritz Hahn (Advisor)
    15 Nov 2019

    Activity: Visiting an external institution typesResearch and Teaching at External Organisation

    University of Twente

    Moritz Hahn (Advisor)
    07 Nov 201908 Nov 2019

    Activity: Visiting an external institution typesVisiting an external academic institution

    University of Liverpool

    Moritz Hahn (Advisor)
    16 Oct 201918 Oct 2019

    Activity: Visiting an external institution typesVisiting an external academic institution

    Supervising CS Final Year Projects

    Moritz Hahn (Recipient)
    08 Oct 201929 Apr 2020

    Activity: Other activity typesOther