TY  - RPRT
TI  - Computing Least Fixed Points of Probabilistic Systems of Polynomials
AU  - Javier Esparza
AU  - Andreas Gaiser
AU  - Stefan Kiefer
PY  - 2010
UR  - https://arxiv.org/abs/0912.4226
ID  - 0912.4226
ER  -