Expectation Invariants for Probabilistic Program Loops as Fixed Points.
Aleksandar ChakarovSriram SankaranarayananPublished in: SAS (2014)
Keyphrases
- fixed point
- approximate value iteration
- sufficient conditions
- bayesian networks
- dynamical systems
- asymptotic properties
- belief propagation
- linear logic
- temporal difference learning
- generative model
- probabilistic model
- initial conditions
- posterior probability
- stationary points
- free energy
- conditional probabilities
- conditional random fields
- distributed systems