@@InProceedings{KZ23,
      title={When to Trust AI: Advances and Challenges for
Certification of Neural Networks}, 
      author={Kwiatkowska, Marta and Zhang, Xiyue},
      year={2023},
      organizer = {18th Conference on Computer Science and Intelligence Systems (FedCSIS 2023)},
      eprint={},
      archivePrefix={},
      primaryClass={}