An Abstraction-Refinement Methodology for Reasoning about Network Games.

Guy Avni, Shibashis Guha, Orna Kupferman

Browse the full IJCAI paper archive.