Models, Algorithms, and Tools for Solving Adversarial Security Problems
Abstract
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 project aims at designing, implementing, and evaluating algorithmic support for constructing efficient patrolling systems applicable to scenarios with multiple (and possibly conflicting) optimization criteria. Furthermore, the constructed strategies should automatically adapt to dynamic changes in patrolling scenarios. More concretely, the main project goals 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.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jun 25, 2021
- Source ID
- W911NF2110189
Entities
People
- Anton N Kucera
Organizations
- Army Contracting Command
- Masaryk University
- United States Army