AAAI Conference on Artificial Intelligence
Twenty-Fifth AAAI Conference on Artificial Intelligence

Presentations

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

Santhanam, Suvorov, Basu, Honavar




Search conference