- alexander.bork at cs.rwth-aachen.de
- Room 4205
- +49 241 80 21252
I have been a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor Joost-Pieter Katoen since April 2021. Additionally, I am a doctoral researcher within the Research Training Group UnRAVeL.
We cannot avoid POMDPs (…) because the real world is one.Stuart J. Russel, Peter Norvig
Artificial Intelligence – A Modern Approach (Third Edition), p.658
My research focus is on the verification of partially observable stochastic models, in particular the analysis of partially observable Markov decision processes (POMDPs). In contrast to classical stochastic models, in partially observable models a decision maker must base its decisions on the available information in a state and not the complete state itself. A special focus of my work is the development of approaches that can be used in practice to verify certain properties on partially observable models.
I am a developer of the probabilistic model checker Storm.
If you are interested in writing a Bachelor’s/Master’s thesis within my research area, don’t hesitate to contact me. You can also check out our list of open thesis topics.
I’m currently involved in the following teaching activities:
- Seminar: Probabilistic Programming (WS 22)
- Lecture: Model Checking (SS 22)
- Proseminar: Introduction to Program Analysis (SS 22)
- Lecture: Modeling and Verification of Probabilistic Systems (SS 21)
|[bibtex] [issue]||Alexander Nikolai Bork, Joost-Pieter Katoen, Tim Quatmann. Under-Approximating Expected Total Rewards in POMDPs, 28. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), Volume 13244 of LNCS, 22-40, Springer, 2022.|
|[bibtex] [issue]||Alexander Nikolai Bork, , Joost-Pieter Katoen, Tim Quatmann. Verification of Indefinite-Horizon POMDPs, International Symposium on Automated Technology for Verification and Analysis (ATVA 2020), Volume 12302 of LNCS, 288-304, Springer, 2020.|