@inproceedings{aamas2018,
  author    = {D. Kla\v{s}ka and
               A. Ku\v{c}era and
               T. Lamser and
               V. {\v{R}}eh{\'{a}}k},
  title     = {Automatic Synthesis of Efficient Regular Strategies in Adversarial
               Patrolling Games},
  booktitle = {Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018},
  pages     = {659--666},
  publisher = {International Foundation for Autonomous Agents and Multiagent Systems
               Richland, SC, {USA} / {ACM}},
  year      = {2018},
  isbn      = {978-1-4503-5649-7},
  issn      = {2523-5699},
  URL      = {http://dl.acm.org/citation.cfm?id=3237383.3237481}
}