@misc{indiciae60155c0f8643, title = {Upper bounds for Newton's method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata}, author = {Alistair Stewart and Kousha Etessami and Mihalis Yannakakis}, year = {2013}, url = {https://arxiv.org/abs/1302.3741}, note = {Source identifier: 1302.3741} }