news
| Sep 24, 2026 | Paper accepted at NeurIPS |
|---|---|
| May 25, 2026 | PhD defense on safety verification of discrete-time stochastic systems |
| May 20, 2026 | New journal and conference paper acceptances |
| Dec 15, 2025 | Jeroen Hagenus receives TU Delft Best MSc Thesis with AI Award |