Models, Algorithms, and Tools for Solving Adversarial Security Problems
- Kód projektu
- 0011629866
- Období řešení
- 5/2021 - 4/2024
- Investor / Programový rámec / typ projektu
-
Ostatní - zahraniční
- Ostatní nadace/fondy zahraniční
- Fakulta / Pracoviště MU
- Fakulta informatiky
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.
Publikace
Počet publikací: 1
2021
-
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021), rok: 2021