A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Symbolic model checking of probabilistic knowledge
2011
Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge - TARK XIII
This paper describes an algorithm for model checking a fragment of the logic of knowledge and probability in multi-agent systems, with respect to a perfect recall interpretation of knowledge and agents' subjective probability. The algorithm has been implemented in the epistemic model checker MCK. Some experiments with the implemented algorithm are reported, in which some properties of agents' probabilistic knowledge are verified in two security protocols: Chaum's Dining Cryptographers protocol,
doi:10.1145/2000378.2000399
dblp:conf/tark/HuangLM11
fatcat:puz6sihvk5abhkcsfj2wolipcq