Suvorov, Yuly

1 publications

AAAI 2011 Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant G. Honavar