Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach

Authors

  • Ganesh Ram Santhanam Iowa State University
  • Yuly Suvorov Iowa State University
  • Samik Basu Iowa State University
  • Vasant Honavar Iowa State University

Abstract

Spread of infections (diseases, ideas, etc.) in a network
can be modeled as the evolution of states of nodes in
a graph as a function of the states of their neighbors.
Given an initial configuration of a network in which a
subset of the nodes have been infected, and an infection
propagation function that specifies how the states of
the nodes evolve over time, we show how to use model
checking to identify, verify, and evaluate the effectiveness
of intervention policies for containing the propagation
of infection over such networks.

Downloads

Published

2011-08-04

How to Cite

Santhanam, G. R., Suvorov, Y., Basu, S., & Honavar, V. (2011). Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 1408-1414. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/7804

Issue

Section

Special Track on Computational Sustainability and AI