@InProceedings{YSD+22,
author={Rui Yan and Gabriel Santos and Xiaoming Duan and David Parker and Marta Kwiatkowska},
title={Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games},
booktitle={Proc. 38th Conference on Uncertainty in Artificial Intelligence (UAI'22)},
year={2022},

editors={},
pages={},
organization={},
publisher={AUAI Press},
series={},
volume={},
address={},
month={},
note={},
key={}
}