TY - RPRT TI - Faster Game Solving by Fixpoint Acceleration AU - Daniel Hausmann PY - 2025 DO - 10.4204/eptcs.435.6 UR - https://arxiv.org/abs/2404.13687 ID - 2404.13687 ER -