Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach.

Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant G. Honavar

Browse the full AAAI paper archive.