TY  - RPRT
TI  - Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
AU  - Linus Heck
AU  - Tim Quatmann
AU  - Jip Spel
AU  - Joost-Pieter Katoen
AU  - Sebastian Junges
PY  - 2025
UR  - https://arxiv.org/abs/2504.05965
ID  - 2504.05965
ER  -