{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T10:06:25Z","timestamp":1764842785978},"reference-count":0,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.15439\/2023f2324","type":"proceedings-article","created":{"date-parts":[[2023,10,13]],"date-time":"2023-10-13T20:10:40Z","timestamp":1697227840000},"page":"25-37","source":"Crossref","is-referenced-by-count":6,"title":["When to Trust AI: Advances and Challenges for Certification of Neural Networks"],"prefix":"10.15439","volume":"35","author":[{"given":"Marta","family":"Kwiatkowska","sequence":"first","affiliation":[]},{"given":"Xiyue","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"6175","published-online":{"date-parts":[[2023,9,26]]},"event":{"name":"18th Conference on Computer Science and Intelligence Systems","start":{"date-parts":[[2023,9,17]]},"end":{"date-parts":[[2023,9,20]]},"acronym":"FedCSIS 2023"},"container-title":["Annals of Computer Science and Information Systems","Proceedings of the 18th Conference on Computer Science and Intelligence Systems"],"original-title":[],"deposited":{"date-parts":[[2024,8,31]],"date-time":"2024-08-31T17:04:45Z","timestamp":1725123885000},"score":1,"resource":{"primary":{"URL":"https:\/\/annals-csis.org\/Volume_35\/drp\/2324.html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,26]]},"references-count":0,"URL":"https:\/\/doi.org\/10.15439\/2023f2324","relation":{},"ISSN":["2300-5963"],"issn-type":[{"type":"print","value":"2300-5963"}],"subject":[],"published":{"date-parts":[[2023,9,26]]}}}