{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T05:22:15Z","timestamp":1722921735319},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ijcnn.2004.1381104","type":"proceedings-article","created":{"date-parts":[[2005,2,28]],"date-time":"2005-02-28T11:14:54Z","timestamp":1109589294000},"page":"2819-2824","source":"Crossref","is-referenced-by-count":2,"title":["Randomized approach to verification of neural networks"],"prefix":"10.1109","volume":"4","author":[{"given":"R.R.","family":"Zakrzewski","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2002.1007559"},{"key":"13","article-title":"Towards developing verifiable neural network controller","author":"wen","year":"1996","journal-title":"Proceedings ICTAI96 Workshop on AI for Aeronautics and Space"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2001.938410"},{"key":"11","first-page":"333","article-title":"Certification of on-line learning neural controllers","author":"smith","year":"2003","journal-title":"Proc IASTED Int Conf Artificial Intell Soft Comput"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/37.736014"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1017\/S0962492900002804"},{"key":"2","article-title":"Requirements for a standard certifying the use of artificial neural networks in safety critical systems","author":"bedford","year":"1996","journal-title":"Proc Int Conf Artificial Neural Networks ICANN 96"},{"key":"1","article-title":"A draft standard for the certification of neural networks used in safety critical systems","author":"bedford","year":"1996","journal-title":"Proc Artificial Neural Networks Engineering 96"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/582128.582141"},{"journal-title":"Monte Carlo Strategies in Scientific Computing","year":"2001","author":"liu","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2004.1281757"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2553-7"},{"key":"4","article-title":"Certifying adaptive flight control software","author":"cortellessa","year":"2000","journal-title":"Proc Int l Software Assurance Certification Conference"},{"journal-title":"DO-178B Software Considerations in Airborne Systems and Equipment Certification","year":"1992","key":"9"},{"key":"8","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-1-4615-0429-0_7","article-title":"Towards the verification and validation of online learning adaptive systems","author":"mili","year":"2003","journal-title":"Software Engineering with Computational Intelligence"}],"event":{"name":"2004 IEEE International Joint Conference on Neural Networks","acronym":"IJCNN-04","location":"Budapest, Hungary"},"container-title":["2004 IEEE International Joint Conference on Neural Networks (IEEE Cat. No.04CH37541)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9486\/30109\/01381104.pdf?arnumber=1381104","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T12:30:56Z","timestamp":1497616256000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1381104\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/ijcnn.2004.1381104","relation":{},"subject":[]}}