Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant Honavar. Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach. In Wolfram Burgard, Dan Roth, editors, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011. pages 1408-1414, AAAI Press, 2011. [doi]
Abstract is missing.