Independence-Based Optimization of Epistemic Model Checking
Ron van der Meyden · 2017
Abstract : An optimization technique was developed that precedes the use of a model checking algorithm with an analysis that applies conditional independence reasoning to reduce the size of the model. The optimization has been implemented in the epistemic model checker MCK. The final reports experimental results demonstrate that it can yield multiple orders of magnitude of performance improvements.