Finite-horizon equilibria for neuro-symbolic concurrent stochastic games (Journal of Machine Learning Research, 2022)

(untitled) - Yan, R; Santos, G; Duan, X; Parker, D; Kwiatkowska, M