Supervision piece
Supervising AFT-to-MDP Translation in PRISM
How I scoped a supervision topic around strategy-aware analysis of attack-fault scenarios through Markov decision processes in PRISM.
Apr 24, 2025Brief
SupervisionPRISMMDP
Key points
A short piece on the assumptions, modeling choices, and practical relevance behind this topic.
- Translation projects need a narrow modelling target or they become too broad too quickly.
- PRISM made the topic concrete because it forced semantic choices to be explicit and testable.
- The useful supervision move here was to keep the analysis question visible instead of letting the project become only about conversion mechanics.