Symbolic model checking of probabilistic knowledge

No abstract is available for this paper.

• Publication year

  2011

• Venue

  TARK XIII

• Publication date

  2011-07-12

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1145/2000378.2000399
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model Checking

  2018cited by this paper
• Graph-Based Algorithms for Boolean Function Manipulation

  2012influential reference
• Abstraction for epistemic model checking of dining cryptographers-based protocols

  2010influential reference
• Verification of Epistemic Properties in Probabilistic Multi-Agent Systems

  2009cited by this paper
• MCMAS: A Model Checker for the Verification of Multi-Agent Systems

  2009cited by this paper
• VerICS 2007 - a Model Checker for Knowledge and Real-Time

  2008cited by this paper
• Model Checking Temporal Logics of Knowledge Via OBDDs

  2007cited by this paper
• Anonymity protocols as noisy channels

  2006cited by this paper
• Model Checking Russian Cards

  2006cited by this paper
• PRISM: A Tool for Automatic Verification of Probabilistic Systems

  2006influential reference
• A Knowledge Based Analysis of Cache Coherence

  2004cited by this paper
• Symbolic model checking the knowledge of the dining cryptographers

  2004influential reference
• MCK: Model Checking the Logic of Knowledge

  2004cited by this paper
• Probabilistic Model Checking of an Anonymity System

  2004cited by this paper
• Probabilistic analysis of an anonymity system

  2004cited by this paper
• Dynamic epistemic modelling

  2004cited by this paper
• Anonymity and information hiding in multiagent systems

  2003influential reference
• Reasoning about uncertainty

  2003cited by this paper
• Analysis of probabilistic contract signing

  2002cited by this paper
• Model checking knowledge and fixpoints

  2002cited by this paper
• Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

  1999cited by this paper
• Unconditionally Secure Commitment and Oblivious Transfer Schemes Using Private Channels and a Trusted Initializer

  1999influential reference
• Planning and Acting in Partially Observable Stochastic Domains

  1998influential reference
• Crowds: anonymity for Web transactions

  1998cited by this paper
• Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation

  1997influential reference
• Reasoning about knowledge

  1995cited by this paper
• Knowledge, probability, and adversaries

  1993cited by this paper
• Dynamic variable ordering for ordered binary decision diagrams

  1993cited by this paper
• Reasoning about knowledge and probability

  1988cited by this paper
• The dining cryptographers problem: Unconditional sender and recipient untraceability

  1988cited by this paper

• Model Checking for Probabilistic Multiagent Systems

  2023cites this paper
• EPMC Gets Knowledge in Multi-agent Systems

  2022cites this paper
• Dependable learning-enabled multiagent systems

  2022cites this paper
• Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems

  2018cites this paper
• MCMAS: an open-source model checker for the verification of multi-agent systems

  2017cites this paper
• An Epistemic Foundation for Authentication Logics (Extended Abstract)

  2017cites this paper
• Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications

  2016cites this paper
• Model Checking Probabilistic Knowledge: A PSPACE Case

  2016cites this paper
• Strengthening Agents Strategic Ability with Communication

  2016cites this paper
• Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic

  2015cites this paper
• Formal development of resilient distributed systems

  2015cites this paper
• Modeling and Verifying Probabilistic Social Commitments in Multi-Agent Systems

  2015influential citation
• Model checking probabilistic social commitments for intelligent agent communication

  2014cites this paper
• Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments

  2014influential citation
• Probabilistic and Epistemic Model Checking forMulti-Agent Systems

  2014influential citation
• Bounded planning for strategic goals with incomplete information and perfect recall

  2013cites this paper
• Model checking epistemic-probabilistic logic using probabilistic interpreted systems

  2013influential citation
• Reasoning about social commitments in the presence of uncertainty

  2013cites this paper
• A logic of probabilistic knowledge and strategy

  2013cites this paper
• Formal Development and Quantitative Assessment of a Resilient Multi-robotic System

  2013cites this paper
• Diagnosability in concurrent probabilistic systems

  2013cites this paper
• Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall

  2012cites this paper
• Quantitative Model Checking of Knowledge

  2012cites this paper
• Analyzing multi-agent systems with probabilistic model checking approach

  2012cites this paper