University of Twente
People

Welcome...

dr.ing. E.M. Hahn (Moritz)

Assistant Professor

About Me

I work as assistant professor at the Formal Methods and Tools group. Research-wise, I am concerned with developing analysis methods for various types of stochastic systems, such as

  • stochastic hybrid systems
  • efficient algorithms for deciding linear time logic properties
  • continuous-time Markov chains with infinite state-space
  • parametric and interval Markov models
  • quantum Markov models
  • reinforcement learning of linear-time properties
  • multi-objective model checking
  • stochastic parity games

Expertise

Engineering & Materials Science
# Hybrid Systems
# Markov Chains
# Markov Processes
# Model Checking
# Reinforcement Learning
# Statistical Models
Mathematics
# Markov Decision Process
# Reward

Organisations

Publications

Recent
Nicoletti, S. M. , Hahn, E. M. , & Stoelinga, M. I. A. (2022). BFL: a Logic to Reason about Fault Trees. In 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (pp. 441-452). [9833769] IEEE/EUCA. https://doi.org/10.1109/DSN53405.2022.00051
Li, M., Turrini, A. , Hahn, E. M., She, Z., & Zhang, L. (2022). Probabilistic Preference Planning Problem for Markov Decision Processes. IEEE transactions on software engineering, 48(5), 1545-1559. https://doi.org/10.1109/TSE.2020.3024215
Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2021). Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. In M. Huisman, C. S. Pasareanu, & N. Zhan (Eds.), 24th International Symposium on Formal Methods, FM 2021: Virtual Event, November 20–26, 2021, Proceedings (pp. 142-159). (Lecture Notes in Computer Science; Vol. 13047). Springer Gabler. https://doi.org/10.1007/978-3-030-90870-6_8
Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2021). Model-Free Reinforcement Learning for Branching Markov Decision Processes. In A. Silva, & K. R. M. Leino (Eds.), Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (pp. 651-673). (Lecture Notes in Computer Science; Vol. 12760). Springer Gabler. https://doi.org/10.1007/978-3-030-81688-9_30
Stoelinga, M. I. A. , Kolb, C. , Nicoletti, S. M. , Budde, C. E. , & Hahn, E. M. (2021). The Marriage Between Safety and Cybersecurity: Still Practicing. In A. Laarman, & A. Sokolova (Eds.), Model Checking Software. SPIN 2021: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (pp. 3-21). (Lecture Notes in Computer Science; Vol. 12864). Springer. https://doi.org/10.1007/978-3-030-84629-9_1
Hahn, E. M. , & Hartmanns, A. (2021). Symblicit exploration and elimination for probabilistic model checking. In C-C. Hung, J. Hong, A. Bechini, & E. Song (Eds.), SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021 (pp. 1798-1806). Association for Computing Machinery (ACM). https://doi.org/10.1145/3412841.3442052
Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2020). Model-Free Reinforcement Learning for Stochastic Parity Games. In I. Konnov, & L. Kovacs (Eds.), 31st International Conference on Concurrency Theory (CONCUR 2020) [21] (Leibniz International Proceedings in Informatics (LIPIcs); Vol. 171). Dagstuhl. https://doi.org/10.4230/LIPICS.CONCUR.2020.21
Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2020). Good-for-mdps automata for probabilistic analysis and reinforcement learning. In A. Biere, & D. Parker (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings (Vol. Part I, pp. 306-323). (Lecture Notes in Computer Science; Vol. 12078). Springer. https://doi.org/10.1007/978-3-030-45190-5_17
Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2020). Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. In D. V. Hung, & O. Sokolsky (Eds.), Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings (pp. 108-124). (Lecture Notes in Computer Science; Vol. 12302). Springer. https://doi.org/10.1007/978-3-030-59152-6_6
Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., Trivedi, A., & Wojtczak, D. (2019). Omega-Regular Objectives in Model-Free Reinforcement Learning. In T. Vojnar, & L. Zhang (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings (Vol. Part I, pp. 395-412). (Lecture Notes in Computer Science; Vol. 11427). Springer. https://doi.org/10.1007/978-3-030-17462-0_27

Contact Details

 
 

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (building no. 11)
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
P.O. Box 217
7500 AE Enschede
The Netherlands

Organisations

University of Twente Drienerlolaan 5
7522 NB Enschede
+31 (0)53 489 9111
info@utwente.nl
Route