@misc{indiciae24fe7b0f6236, title = {Robust Verification of Concurrent Stochastic Games}, author = {Angel Y. He and David Parker}, year = {2026}, url = {https://arxiv.org/abs/2601.12003}, note = {Source identifier: 2601.12003} }