TY - GEN
T1 - Verifying Intervention Policies to Counter Infection Propagation over Networks
T2 - 25th AAAI Conference on Artificial Intelligence, AAAI 2011
AU - Santhanam, Ganesh Ram
AU - Suvorov, Yuly
AU - Basu, Samik
AU - Honavar, Vasant
N1 - Funding Information:
This work is supported in parts by NSF grant CCF0702758. The work of Vasant Honavar was supported by the National Science Foundation, while working at the Foundation. Any opinion, finding, and conclusions contained in this article are those of the authors and do not necessarily reflect the views of the National Science Foundation.
Publisher Copyright:
Copyright © 2011, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.
PY - 2011/8/11
Y1 - 2011/8/11
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85167599787&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85167599787&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:85167599787
T3 - Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011
SP - 1408
EP - 1414
BT - Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011
PB - AAAI press
Y2 - 7 August 2011 through 11 August 2011
ER -