Tuesday 12 August 2025 14:00 - 15:30
Speaker : Aleksandar Petrov
Subject : Converting Attack-Fault Trees into Markov Decision Processes for Quantitative Analysis in PRISM
Date : 12 August 2025
Time : 14.00 hr
Location : Hal B -2D