Publications
Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges. "Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains." To appear in International Symposium on Automated Technology for Verification and Analysis (ATVA), 2025. [arXiv]Linus Heck, Maximilian Gelbrecht, Michael T. Schaub, Niklas Boers. "Improving the Noise Estimation of Latent Neural Stochastic Differential Equations." Chaos: An Interdisciplinary Journal of Nonlinear Science, 2025. [Paper (Open Access!)] [arXiv]
Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen. "Gradient-Descent for Randomized Controllers under Partial Observability." International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2022. [Paper] [arXiv]
Software
- Together with Pim Leerkes and Ivo Melse, I work on Stormvogel, which is a tool for teaching, prototyping, visualizing, and experimenting with probabilistic model checking algorithms. You can try it out online!
- I'm a frequent contributor to the Storm model checker.
Talks
- Generalized Parameter Lifting for Parametric Markov Chains. ROCKS 2025.
- Time-Travelling Parameters. Dagstuhl Seminar 22154: Probabilistic Verification, 2022.
Thesis Supervision
- Thomas Maassen: Weighted Model Counting for Bounded Reachability in POMDPs. Master thesis, 2025.
Teaching
- Model Checking, 2025, Radboud University. Created and graded projects.
- Automated Reasoning, 2024, Radboud University. Created and graded projects.
- Formal Systems, Automata, Processes, 2019 and 2020, RWTH Aachen. Held exercise class and graded exercises.
- Computability and Complexity, 2019, RWTH Aachen. Held exercise class and graded exercises.
Other
- Visited the Ellis Summer School on Probabilistic Machine Learning 2023, PICS Summer School 2024, Marktoberdorf Summer School 2025.
- Student research assistant at the Software Modelling and Verification Group at RWTH Aachen from November 2020 to July 2022.
- External Reviewer for CONCUR 2024, CONCUR 2025.
- Student Volunteer at CAV 2021.
- Organized a lecture series on International development cooperation at eye level at RWTH Aachen in 2021 and 2023, where I invited (and in 2023, also selected) the speakers.