Finite-horizon equilibria for neuro-symbolic concurrent stochastic games - Yan, R; Santos, G; Duan, X; Parker, D; Kwiatkowska, M (Journal of Machine Learning Research, 2022)