TY  - RPRT
TI  - Reachability for Branching Concurrent Stochastic Games
AU  - Kousha Etessami
AU  - Emanuel Martinov
AU  - Alistair Stewart
AU  - Mihalis Yannakakis
PY  - 2019
UR  - https://arxiv.org/abs/1806.03907
ID  - 1806.03907
ER  -