@misc{indiciae4a9beb9fd002, title = {An ASP-based approach to Solving General Stochastic Two-Player Games}, author = {Yifan He and Michael Thielscher}, year = {2026}, url = {https://arxiv.org/abs/2605.23705}, note = {Source identifier: 2605.23705} }