@inproceedings{AGK17,
 author    = {G. Avni and S. Guha and O. Kupferman},
 title     = {Timed Network Games},
 booktitle = mfcs17,
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
series = {LIPIcs},
pages =	{37:1--37:16},
  volume =	{83},
 year      = {2017}
}