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
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: English
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
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 informatikyMasaryk University
Faculty of InformaticsAdvanced ('rigorózní řízení') programme / odbor:
Theoretical computer science / Theoretical computer science
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 -
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 -
Projekt zavádění in-bound marketingu ve firmě
Tereza Zlatohlávková -
Výklad Rothovy trilogie Zuckerman Bound (s epilogem)
Pavlína JANOUŠKOVÁ -
Testování dílů vyráběných technologií Bound Metal Deposition
Antonín Hradil