Supervision piece
Supervising ADT Transformation into 2-player Game Automata
What matters when guiding a thesis on generative translation from attack-defense trees into PRISM and game-automata models.
Apr 18, 2025Brief
SupervisionGame AutomataADT
Key points
A short piece on the assumptions, modeling choices, and practical relevance behind this topic.
- Transformation topics work well when the input and output models are both concrete and inspectable.
- The hard part is usually not the first translation but preserving the meaning needed for later quantitative analysis.
- Students make faster progress when they can validate intermediate models rather than wait until the whole toolchain is finished.