Maximizing entropy over Markov processes
From MaRDI portal
Publication:465487
DOI10.1016/j.jlamp.2014.05.001zbMath1371.68175MaRDI QIDQ465487
Bo Friis Nielsen, Axel Legay, Andrzej Wąsowski, Fabrizio Biondi
Publication date: 23 October 2014
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2014.05.001
68Q60: Specification and verification (program logics, model checking, etc.)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)