Distinguishing Hidden Markov Chains

DOI10.1145/2933575.2933608zbMath1401.68086arXiv1507.02314OpenAlexW2963414055MaRDI QIDQ4635862

No author found.

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.02314

zbMATH Keywords

hidden Markov chainsmonitorslabelled Markov chains

Mathematics Subject Classification ID

Computational methods in Markov chains (60J22) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Runtime monitors for Markov decision processes ⋮ Verification of detectability in probabilistic finite automata ⋮ A tale of two diagnoses in probabilistic systems

This page was built for publication: Distinguishing Hidden Markov Chains