TY  - RPRT
TI  - Upper bounds for Newton's method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata
AU  - Alistair Stewart
AU  - Kousha Etessami
AU  - Mihalis Yannakakis
PY  - 2013
UR  - https://arxiv.org/abs/1302.3741
ID  - 1302.3741
ER  -