Santhanam GR, Suvorov Y, Basu S, Honavar V. Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach. AAAI [Internet]. 2011Aug.4 [cited 2024Apr.20];25(1):1408-14. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/7804