Symbolic model checking of probabilistic knowledge
- 12 July 2011
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 177-186
- https://doi.org/10.1145/2000378.2000399
Abstract
No abstract availableKeywords
Funding Information
- Australian Research Council (LP0882961)
- Defence Research and Development Canada (W7701-082453)
This publication has 13 references indexed in Scilit:
- MCMAS: A Model Checker for the Verification of Multi-Agent SystemsPublished by Springer Nature ,2009
- Anonymity protocols as noisy channelsInformation and Computation, 2008
- Model Checking Temporal Logics of Knowledge Via OBDDs1The Computer Journal, 2007
- PRISM: A Tool for Automatic Verification of Probabilistic SystemsPublished by Springer Nature ,2006
- MCK: Model Checking the Logic of KnowledgePublished by Springer Nature ,2004
- CrowdsACM Transactions on Information and System Security, 1998
- Planning and acting in partially observable stochastic domainsPublished by Elsevier ,1998
- Reasoning about knowledge and probabilityJournal of the ACM, 1994
- Knowledge, probability, and adversariesJournal of the ACM, 1993
- The dining cryptographers problem: Unconditional sender and recipient untraceabilityJournal of Cryptology, 1988