dinsdag 12 augustus 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
Meer colloquia
- vr 1 aug 2025 14:00 - 15:30Master Colloquium - Sanne Eeckhout (M-CS)
- ma 11 aug 2025 11:00 - 12:30Master Colloquium - Kirill Fedorov (M-CS)
- ma 18 aug 2025 16:00 - 17:30Master Colloquium - Andrei-Ion Covaci (M-CS)
- do 21 aug 2025 14:00 - 15:30Master Colloquium - Radmehr Arzani (M-CS)
- wo 27 aug 2025 16:00 - 17:30Master Colloquium - Denise den Hartog (M-CS)