Linear recursive state estimators under uncertain observations | Synapse