TALOS: a tool for designing security applications with mobile patrolling robots. - Nicola Basilico; Nicola Gatti 001; Pietro Testa (AAMAS, 2011)