Lina Gerlach
I am a PhD student in the DFG research training group UnRAVeL. My supervisors are Prof. Dr. Erika Ábrahám and Prof. Dr. Joost-Pieter Katoen. I am interested in probabilistic hyperproperties [1, 2, 3] and stochastic games.
Teaching Assistance
- Seminar: Satisfiability Checking / Formal Methods (WS22/23, SS23)
- Seminar: Formal Methods (WS23/24)
- Lecture: Modeling and Analysis of Hybrid Systems (SS24)
- Lecture: Datenstrukturen und Algorithmen (SS25)
Publications
| 2026 | |
|---|---|
| DOI Details | Lina Gerlach, Christof Löding, and Erika Ábrahám. 2026. A Hyperlogic for Strategies in Stochastic Games. In Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings (Lecture Notes in Computer Science, Vol. 16143). Springer Nature Switzerland, Cham, 1–20. |
| 2025 | |
| DOI Details | Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Ábrahám, Silvia Lizeth, Tapia Tarifa, and Einar Brocj Johnsen. 2025. Counterfactual Strategies for Markov Decision Processes. arXiv:2505.09412. |
| DOI Details | Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, and Sebastian Junges. 2025. Efficient Probabilistic Model Checking for Relational Reachability (Extended Version). arXiv:2505.16357. |
| DOI Details | Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, and Sebastian Junges. 2025. Efficient Probabilistic Model Checking for Relational Reachability. In Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science, Vol. 15931). Springer Nature Switzerland, Cham, 127–147. |
| 2023 | |
| DOI Details | Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, and Borzoo Bonakdarpour. 2023. Introducing Asynchronicity to Probabilistic Hyperproperties. arXiv:2307.05282. |
| Show all | |