Supervision piece
Supervising Game-Theoretic ADTs for Security Strategies
A short note on scoping a BSc project around cost-effective attack-defense strategy analysis with PRISM.
Apr 10, 2025Brief
SupervisionGame TheoryBSc
Key points
A short piece on the assumptions, modeling choices, and practical relevance behind this topic.
- BSc topics benefit from a concrete toolchain and a very explicit success criterion.
- Game-theoretic work becomes manageable at BSc level when the modelling scope stays intentionally small.
- The point is not to solve all of attacker-defender analysis, but to produce one defensible modelling and evaluation loop.