TY - GEN
T1 - Verifying intervention policies to counter infection propagation over networks
T2 - 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11
AU - Santhanam, Ganesh Ram
AU - Suvorov, Yuly
AU - Basu, Samik
AU - Honavar, Vasant
PY - 2011
Y1 - 2011
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=80055032496&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=80055032496&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:80055032496
SN - 9781577355090
T3 - Proceedings of the National Conference on Artificial Intelligence
SP - 1408
EP - 1414
BT - AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference
Y2 - 7 August 2011 through 11 August 2011
ER -