May 31, 2024
2024
Our paper on AI certification (Denzel et al., 2024) won the best paper award at SDS 2024!
