Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach
Abstract
Spread of infections (diseases, ideas, etc.) in a networkcan be modeled as the evolution of states of nodes ina graph as a function of the states of their neighbors.Given an initial configuration of a network in which asubset of the nodes have been infected, and an infectionpropagation function that specifies how the states ofthe nodes evolve over time, we show how to use modelchecking to identify, verify, and evaluate the effectivenessof intervention policies for containing the propagationof infection over such networks.
Cite
Text
Santhanam et al. "Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach." AAAI Conference on Artificial Intelligence, 2011. doi:10.1609/AAAI.V25I1.7804Markdown
[Santhanam et al. "Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach." AAAI Conference on Artificial Intelligence, 2011.](https://mlanthology.org/aaai/2011/santhanam2011aaai-verifying/) doi:10.1609/AAAI.V25I1.7804BibTeX
@inproceedings{santhanam2011aaai-verifying,
title = {{Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach}},
author = {Santhanam, Ganesh Ram and Suvorov, Yuly and Basu, Samik and Honavar, Vasant G.},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2011},
pages = {1408-1414},
doi = {10.1609/AAAI.V25I1.7804},
url = {https://mlanthology.org/aaai/2011/santhanam2011aaai-verifying/}
}