An Efficient Algorithm for Estimating State Sequences in Imprecise Hidden Markov Models