Independence-Based Optimization of Epistemic Model Checking

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 22, 2017
Accession Number
AD1027831

Entities

People

  • Ron Van Der Meyden

Organizations

  • University of New South Wales

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Space

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Algorithms
  • Computations
  • Computer Science
  • Cybersecurity
  • Databases
  • Language
  • Models
  • Operations Research
  • Probabilistic Models
  • Probability
  • Probability Distributions
  • Programming Languages
  • Reasoning
  • Relational Database Management Systems
  • Security Protocols

Readers

  • Artificial Intelligence
  • Mathematical Modeling and Probability Theory.
  • Operations Research