TY  - RPRT
TI  - Lifted Model Construction under Approximate Commutativity
AU  - Malte Luttermann
AU  - Jan Speller
AU  - Tanya Braun
AU  - Marcel Gehrke
AU  - Ralf Möller
PY  - 2026
UR  - https://arxiv.org/abs/2608.24713
ID  - 2608.24713
ER  -