Oude Markt 13
Leuven, 3000
Belgium
KU Leuven
Dynamic safety case, Autonomous systems, System monitoring, Safety predictions