Rui Yan 0002, Gabriel Santos, Xiaoming Duan, David Parker 0001, Marta Kwiatkowska. Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. In James Cussens, Kun Zhang 0001, editors, Uncertainty in Artificial Intelligence, Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, 1-5 August 2022, Eindhoven, The Netherlands. Volume 180 of Proceedings of Machine Learning Research, pages 2170-2180, PMLR, 2022. [doi]
Abstract is missing.