Independence-based Optimization of Epistemic Model Checking

Abstract

Epistemic model checking is an verication methodology that enables multi-agent and concurrent systems and models to be verified with respect to properties concerning the information possessed by the agents, and how this information changes over time.

Document Details

Document Type
DoD Grant Award
Publication Date
Mar 23, 2016
Source ID
FA23861514057

Entities

People

  • Ron Van Der Meyden

Organizations

  • Air Force Office of Scientific Research
  • United States Air Force
  • University of New South Wales

Tags

Fields of Study

  • Computer science

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Artificial Intelligence
  • Distributed Systems and Data Platform Development