@misc{indiciae5797f01b5fc0,
  title = {A Formal Framework for Mobile Robot Patrolling in Arbitrary Environments with Adversaries},
  author = {Nicola Basilico and Nicola Gatti and Francesco Amigoni},
  year = {2009},
  url = {https://arxiv.org/abs/0912.3275},
  note = {Source identifier: 0912.3275}
}