@inproceedings{AGK17b,
 author    = {G. Avni and S. Guha and O. Kupferman},
 title     = {An Abstraction-Refinement Methodology for Reasoning about Network Games},
 booktitle = ijcai17,
 pages     = {70--76},
 year      = {2017}
}