TY  - RPRT
TI  - Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games
AU  - Rui Yan
AU  - Gabriel Santos
AU  - Xiaoming Duan
AU  - David Parker
AU  - Marta Kwiatkowska
PY  - 2022
UR  - https://arxiv.org/abs/2205.07546
ID  - 2205.07546
ER  -