@Article{         StewartEtessamiYannakakis,
  Author        = "Stewart, Alistair and Etessami, Kousha and Yannakakis, Mihalis",
  Abstract      = "A central computational problem for analyzing and model checking various classes of infinite-state recursive probabilistic systems (including quasi-birth-death processes, multi-type branching processes, stochastic context-free grammars, probabilistic pushdown automata and recursive Markov chains) is the computation of {\em termination probabilities}, and computing these probabilities in turn boils down to computing the {\em least fixed point} (LFP) solution of a corresponding {\em monotone polynomial system} (MPS) of equations, denoted x=P(x).",
  date-added    = "2013-07-15 10:20:30 +0000",
  date-modified = "2013-07-15 10:20:30 +0000",
  EPrint        = "1302.3741",
  Month         = "02",
  Title         = "Upper bounds for Newton's method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata",
  URL           = "http://arxiv.org/abs/1302.3741",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1302.3741",
  File          = "Upper bounds for Newton's method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata - Stewart, Etessami, Yannakakis (0) (0) (0) (0) - a - a - m.pdf"
}

@Article{ StewartEtessamiYannakakis, Author = "Stewart, Alistair and Etessami, Kousha and Yannakakis, Mihalis", Abstract = "A central computational problem for analyzing and model checking various classes of infinite-state recursive probabilistic systems (including quasi-birth-death processes, multi-type branching processes, stochastic context-free grammars, probabilistic pushdown automata and recursive Markov chains) is the computation of {\em termination probabilities}, and computing these probabilities in turn boils down to computing the {\em least fixed point} (LFP) solution of a corresponding {\em monotone polynomial system} (MPS) of equations, denoted x=P(x).", date-added = "2013-07-15 10:20:30 +0000", date-modified = "2013-07-15 10:20:30 +0000", EPrint = "1302.3741", Month = "02", Title = "Upper bounds for Newton's method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata", URL = "http://arxiv.org/abs/1302.3741", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1302.3741", File = "Upper bounds for Newton's method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata - Stewart, Etessami, Yannakakis (0) (0) (0) (0) - a - a - m.pdf" }