TY  - RPRT
TI  - Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
AU  - Rui Yan
AU  - Gabriel Santos
AU  - Gethin Norman
AU  - David Parker
AU  - Marta Kwiatkowska
PY  - 2024
UR  - https://arxiv.org/abs/2202.06255
ID  - 2202.06255
ER  -