Efficient Synthesis of Finite-Memory Strategies in Patrolling Games – Mgr. David Klaška
Mgr. David Klaška
Rigorózní práce
Efficient Synthesis of Finite-Memory Strategies in Patrolling Games
Efficient Synthesis of Finite-Memory Strategies in Patrolling Games
Anotace:
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 …víceAbstract:
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 …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 5. 10. 2020
Identifikátor:
https://is.muni.cz/th/vn8u0/
Obhajoba závěrečné práce
- Obhajoba proběhla 29. 1. 2021
- Oponent: doc. Mgr. Branislav Bošanský, Ph.D., Assoc. Prof. Nicola Basilico, PhD
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyRigorózní řízení / obor:
Teoretická informatika / Teoretická informatika
Práce na příbuzné téma
-
Visualization of strategies for randomized patrolling
Róbert Zvara -
Visualization of strategies for randomized patrolling
Róbert Zvara -
Central Bank Digital Currency and the Effective Lower Bound
Michael Pirgmann -
Improving out-of-bound access checking in Symbiotic
Anna Řechtáčková -
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