Project information
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.
Sustainable Development Goals
Masaryk University is committed to the UN Sustainable Development Goals, which aim to improve the conditions and quality of life on our planet by 2030.
Publications
Total number of publications: 5
2024
-
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes
Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), year: 2024
2023
-
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, year: 2023
2022
-
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling
21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022., year: 2022
-
On-the-fly Adaptation of Patrolling Strategies in Changing Environments
Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, year: 2022
2021
-
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021), year: 2021