TY  - RPRT
TI  - Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes
AU  - Kousha Etessami
AU  - Alistair Stewart
AU  - Mihalis Yannakakis
PY  - 2016
UR  - https://arxiv.org/abs/1502.05533
ID  - 1502.05533
ER  -