@InProceedings{HP26,
author={Angel Y. He and David Parker},
title={Robust Verification of Concurrent Stochastic Games},
booktitle={Proc. 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'26)},
year={2026},

editors={},
pages={505-525},
organization={},
publisher={Springer},
series={LNCS},
volume={16505},
address={},
month={},
note={},
key={}
}