TY  - RPRT
TI  - Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games
AU  - Marta Kwiatkowska
AU  - Gethin Norman
AU  - David Parker
AU  - Gabriel Santos
PY  - 2022
UR  - https://arxiv.org/abs/2211.06141
ID  - 2211.06141
ER  -