An Abstraction-Refinement Methodology for Reasoning about Network Games - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guy Avni, Shibashis Guha, Orna Kupferman. An Abstraction-Refinement Methodology for Reasoning about Network Games. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. pages 70-76, ijcai.org, 2017. [doi]

This author has not been identified. Look up 'Guy Avni' in GoogleThis author has not been identified. Look up 'Shibashis Guha' in GoogleThis author has not been identified. Look up 'Orna Kupferman' in Google

runs on WebDSL