Project information

Models, Algorithms, and Tools for Solving Adversarial Security Problems

Project Identification
Project Period
5/2021 - 4/2024
Investor / Pogramme / Project type
Ostatní - foreign
MU Faculty or unit
Faculty of Informatics

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.


Total number of publications: 1

You are running an old browser version. We recommend updating your browser to its latest version.

More info