rts-smoother
Multidimensional implementation of standard and extended Kalman Filters. Filtering and smoothing.
Markov-like processes as one recursion over a belief algebra and a semiring: HMM, HSMM, Kalman, and particle inference behind a decidable engine dispatch.