@article{YSN+24c,
title={Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games}, 
author={Rui Yan and Gabriel Santos and Gethin Norman and David Parker and Marta Kwiatkowska},
journal = {Information and Computation},
year={2024},
}