Models, Algorithms, and Tools for Solving Adversarial Security Problems
- Project Identification
- 0011629866
- Project Period
- 5/2021 - 4/2024
- Investor / Pogramme / Project type
-
Ostatní - foreign
- Other foreign funds
- 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.
Publications
Total number of publications: 1
2021
-
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021), year: 2021