@misc{indiciae584bd7dddcaf, title = {Faster Game Solving by Fixpoint Acceleration}, author = {Daniel Hausmann}, year = {2025}, doi = {10.4204/eptcs.435.6}, url = {https://arxiv.org/abs/2404.13687}, note = {Source identifier: 2404.13687} }