Reliable hidden Markov model filtering through coherent lower previsions | IEEE Conference Publication | IEEE Xplore