Abstract Hidden Markov Models: a monadic account of quantitative information flow

Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja. Abstract Hidden Markov Models: a monadic account of quantitative information flow. Logical Methods in Computer Science, 15(1), 2019. [doi]

Abstract

Abstract is missing.