The project concentrates on developing algorithmic support for designing automatic patrolling systems where a limited number of mobile security units (patrollers) aim at protecting a given set of vulnerable targets. The main goals of the projects are the following: 1) designing an appropriate formal model for patrolling systems reflecting a rich set of relevant features, 2) constructing and implementing algorithms for efficient strategy synthesis in patrolling games, 3) designing algorithms for automatic adaptation of patrolling strategies in a dynamically changing environment, 4) implementing a simulation platform for patrolling games.

Publications