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
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.

Model checking Engineering & Materials Science
Markov processes Engineering & Materials Science
Hybrid systems Engineering & Materials Science
Specifications Engineering & Materials Science
Polynomials Engineering & Materials Science
Binary decision diagrams Engineering & Materials Science
Computer viruses Engineering & Materials Science
Stochastic models Engineering & Materials Science

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

Research Output 2006 2019

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

1 Citation (Scopus)
8 Downloads (Pure)

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
Multiple Objectives
Markov Decision Process
Pareto
Transition Probability
Curve
4 Citations (Scopus)
32 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
Reinforcement learning
Learning algorithms
4 Citations (Scopus)

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

Markov processes
Statistical Models
4 Citations (Scopus)
118 Downloads (Pure)

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
Model checking
Markov processes
Data structures
Sales
Specifications

Activities 2018 2019

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

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

Supervising CS Final Year Projects

Moritz Hahn (Recipient)
08 Oct 201929 Apr 2020

Activity: Other activity typesOther

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 Liverpool

Moritz Hahn (Advisor)
16 Oct 201918 Oct 2019

Activity: Visiting an external institution typesVisiting an external academic institution