Computing Least Fixed Points of Probabilistic Systems of Polynomials.

Javier Esparza, Andreas Gaiser, Stefan Kiefer

Browse the full STACS paper archive.