Prizes
- 3 results
Search results
-
Explainable Formal Methods with Certificates
Neele, T. (Recipient), 17 Jul 2024
Prize: NWO › Veni › Scientific
-
FORTE Best Artefact Award
Willemse, T. A. C. (Recipient), 20 Jun 2022
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific
File -
UNcertainty In COntinuous-time maRkov chaiNs (UNICORN)
Volk, M. (Recipient), 2024
Prize: NWO › Veni › Scientific