University of Twente Student Theses
Modeling and analysis of the board game Mythic Battles : Pantheon through Markov Decision Processes
Otte, Bram (2025) Modeling and analysis of the board game Mythic Battles : Pantheon through Markov Decision Processes.
|
PDF
602kB |
| Abstract: | Markov Decision Processes (MDP) have various use cases, but there is a limited amount of clear examples to test the tools used to model them on. We will be modeling and analysing the board game Mythic Battles: Pantheon. Board games Fit these models particularly well and Mythic Battles is particularly interesting due to its complexity. We model a small part of the game namely the normal attack using the probabilistic model checker PRISM. In turn, we use PRISM to generate optimal strategies, that optimize for different objectives. Additionally, we will consider some naive strategies. Then we analyse those strategies by comparing their general performance and compare a few example cases where they differ. Through the modeling we find that it's feasible to model a part of mythic battles and there is still room to expand the model before it becomes too big to handle. Although we do hit some limits in the tools and find workarounds to them. In the analysis we find the strategy for maximal expected damage is often equivalent to a naive strategy of re-throwing every dice. |
| Item Type: | Essay (Bachelor) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science BSc (56964) |
| Link to this item: | https://purl.utwente.nl/essays/105235 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page