@techreport{2012-Jansen-MarkovHidden, author = "{Jansen}, David N. and {Nielson}, Flemming and {Zhang}, Lijun", title = "{Belief bisimulation for hidden Markov models: logical characterisation and decision algorithm}", number = "ICIS--R12002", month = "February", institution = "Radboud University Nijmegen", year = "2012", code = "icis.ICIS-R12002", research_group = "mbsd", class = "Report" }