Welkom...

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

Universitair docent

Expertises

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

Publicaties

Recent
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
Li, M., Turrini, A. , Hahn, E. M., She, Z., & Zhang, L. (2020). Probabilistic Preference Planning Problem for Markov Decision Processes. IEEE transactions on software engineering. https://doi.org/10.1109/TSE.2020.3024215
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) (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
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., van Huijgevoort, B., & Vinod, A. P. (2019). ARCH-COMP19 Category Report: Stochastic Modelling. In G. Frehse, & M. Althoff (Eds.), ARCH19: 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (pp. 62-102). (EPiC Series in Computing; Vol. 61). EasyChair. https://doi.org/10.29007/f2vb

Vakken Collegejaar  2021/2022

Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
 

Vakken Collegejaar  2020/2021

Contactgegevens

Bezoekadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (gebouwnr. 11)
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
Postbus 217
7500 AE Enschede