Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow
DOI10.1109/LICS.2015.61zbMath1401.68046MaRDI QIDQ4635839
Tahiry Rabehaja, Annabelle McIver, Carroll Morgan
Publication date: 23 April 2018
Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (6)
This page was built for publication: Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow