@inproceedings{KS25,
  author    = {O. Kupferman and N. Shenwald},
  title     = {Coverage Games},
  booktitle =  concur25,
  series    = {LIPIcs},
   volume    = {?},
  pages     = ?,
  year      = {2025}
  }