Dominance Testing via Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ganesh Ram Santhanam, Samik Basu, Vasant Honavar. Dominance Testing via Model Checking. In Maria Fox, David Poole, editors, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. pages 357-362, AAAI Press, 2010. [doi]

This author has not been identified. Look up 'Ganesh Ram Santhanam' in GoogleThis author has not been identified. Look up 'Samik Basu' in GoogleThis author has not been identified. Look up 'Vasant Honavar' in Google

runs on WebDSL