Efficient Synthesis of Finite-Memory Strategies in Patrolling Games – Mgr. David Klaška
Mgr. David Klaška
Advanced ('rigorózní') thesis
Efficient Synthesis of Finite-Memory Strategies in Patrolling Games
Efficient Synthesis of Finite-Memory Strategies in Patrolling Games
Abstract:
Patrolovací hry jsou hry dvou hráčů, obránce a útočníka, na orientovaných grafech. Obránce se pohybuje po hranách grafu, čímž hlídá navštívené vrcholy. V některém okamžiku se útočník rozhodne zaútočit na některý z vrcholů a úkolem obránce (jenž neví, který vrchol byl napaden či zda vůbec útok již začal) je navštívit napadený vrchol dříve, než bude útok dokončen. Cílem je spočítat (randomizovanou) strategii …moreAbstract:
A patrolling game is a game played on a directed graph by two players, called the Defender and the Attacker. The Defender moves along the edges of the graph, thereby guarding the visited vertices. At some moment, the Attacker decides to initiate an attack at a vertex of his choice, and the goal of the Defender (who does not know where or whether at all an attack has been initiated) is to visit the …more
Language used: English
Date on which the thesis was submitted / produced: 5. 10. 2020
Identifier:
https://is.muni.cz/th/vn8u0/
Thesis defence
- Date of defence: 29. 1. 2021
- Reader: doc. Mgr. Branislav Bošanský, Ph.D., Assoc. Prof. Nicola Basilico, PhD
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsAdvanced ('rigorózní řízení') programme / field:
Theoretical computer science / Theoretical computer science
Theses on a related topic
-
Visualization of strategies for randomized patrolling
Róbert Zvara -
Visualization of strategies for randomized patrolling
Róbert Zvara -
Improving out-of-bound access checking in Symbiotic
Anna Řechtáčková -
Central Bank Digital Currency and the Effective Lower Bound
Michael Pirgmann -
Symbolic Loop Bound Analysis
Pavel Čadek -
Výklad Rothovy trilogie Zuckerman Bound (s epilogem)
Pavlína JANOUŠKOVÁ -
Projekt zavádění in-bound marketingu ve firmě
Tereza Zlatohlávková -
Testování dílů vyráběných technologií Bound Metal Deposition
Antonín Hradil