The paper entitled “Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains”
by Linus Heck (RU Nijmegen), Tim Quatmann, Jip Spel, Joost-Pieter Katoen and Sebastian Junges (RU Nijmegen) has been accepted for the 23rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2025). This paper advances parameter lifting, a technique to check whether all instances of a parametric Markov chain (pMC) satisfy a specification. Experiments show that our advances yield tighter approximations, are widely applicable, and accelerate pMC verification by up to orders of magnitude.