Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)

Abstract

This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-agent logic of knowledge. The optimization has been implemented in the epistemic model checker MCK. The… (More)
DOI: 10.4204/EPTCS.251.29

Topics

7 Figures and Tables