TY - JOUR AU - Santhanam, Ganesh Ram AU - Suvorov, Yuly AU - Basu, Samik AU - Honavar, Vasant PY - 2011/08/04 Y2 - 2024/03/28 TI - Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 25 IS - 1 SE - Special Track on Computational Sustainability and AI DO - 10.1609/aaai.v25i1.7804 UR - https://ojs.aaai.org/index.php/AAAI/article/view/7804 SP - 1408-1414 AB - <p> Spread of infections (diseases, ideas, etc.) in a network<br />can be modeled as the evolution of states of nodes in<br />a graph as a function of the states of their neighbors.<br />Given an initial configuration of a network in which a<br />subset of the nodes have been infected, and an infection<br />propagation function that specifies how the states of<br />the nodes evolve over time, we show how to use model<br />checking to identify, verify, and evaluate the effectiveness<br />of intervention policies for containing the propagation<br />of infection over such networks. </p> ER -