@misc{indiciaed4de8b5eacd3,
  title = {Reachability for Branching Concurrent Stochastic Games},
  author = {Kousha Etessami and Emanuel Martinov and Alistair Stewart and Mihalis Yannakakis},
  year = {2019},
  url = {https://arxiv.org/abs/1806.03907},
  note = {Source identifier: 1806.03907}
}