Recursive Bayesian Filtering in Circular State Spaces | Synapse