Optimal recursive estimation with uncertain observation | Synapse