Master Colloquium - Aleksandar Petrov (M-CS)

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