Computing Least Fixed Points of Probabilistic Systems of Polynomials

Javier Esparza Andreas Gaiser Stefan Kiefer

Published in: CoRR (2009)

Keyphrases

fixed point
sufficient conditions
initial conditions
linear logic
distributed systems
unsupervised learning