@misc{indiciae2d31da0436e8,
  title = {Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes},
  author = {Kousha Etessami and Alistair Stewart and Mihalis Yannakakis},
  year = {2016},
  url = {https://arxiv.org/abs/1502.05533},
  note = {Source identifier: 1502.05533}
}