TY  - RPRT
TI  - When to Trust AI: Advances and Challenges for Certification of Neural Networks
AU  - Marta Kwiatkowska
AU  - Xiyue Zhang
PY  - 2023
UR  - https://arxiv.org/abs/2309.11196
ID  - 2309.11196
ER  -