| Date of Award | Aug 2024 |
|---|---|
| Original language | English |
| Supervisor | Sofie Haesaert (Supervisor 1) |
Modular Risk Assessment: A Compositional Verification Method for Approximated Automaton
Student thesis: Master