news
| May 31, 2024 | Our paper on AI certification (Denzel et al., 2024) won the best paper award at SDS 2024!  |
|---|---|
| Mar 12, 2024 | Three new conference papers in the context of certification of AI systems accepted: One at ESREL 2024 (Billeter et al., 2024), and two at SDS 2024 (Denzel et al., 2024) (Billeter et al., 2024). |
| Jan 27, 2024 | New website is up! |