Santhanam, Ganesh Ram

3 publications

JAIR 2011 Representing and Reasoning with Qualitative Preferences for Compositional Systems Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar

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

AAAI 2010 Dominance Testing via Model Checking Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar