{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T23:06:54Z","timestamp":1760828814655},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/isic.2004.1387650","type":"proceedings-article","created":{"date-parts":[[2005,3,21]],"date-time":"2005-03-21T15:07:39Z","timestamp":1111417659000},"page":"7-12","source":"Crossref","is-referenced-by-count":5,"title":["Statistical performance verification for an autonomous rotorcraft"],"prefix":"10.1109","author":[{"given":"M.","family":"Elgersma","sequence":"first","affiliation":[]},{"given":"S.","family":"Ganguli","sequence":"additional","affiliation":[]},{"family":"Vu Ha","sequence":"additional","affiliation":[]},{"given":"T.","family":"Samad","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"Statistical verification for UAV autonomy","author":"binns","year":"2003","journal-title":"Annual Forum Proceedings of the American Helicopter Society"},{"key":"ref3","article-title":"High-confidence control: Ensuring reliability in high-performance real-time systems","author":"binns","year":"2004","journal-title":"Int J of Intelligent Systems"},{"key":"ref6","article-title":"An Introduction to Aspects of Statistical Learning Theory","author":"binns","year":"0","journal-title":"Technical Report Honeywell Labs 3660 Technology Drive Minneapolis MN 55418"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2440-0"},{"article-title":"Generalization bounds for binary classifications with applications to statistical verification of complex controllers","year":"0","author":"ha","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/76359.76371"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2514\/6.2002-4439"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/047172288X.ch2"}],"event":{"name":"2004 IEEE International Symposium on Intelligent Control","acronym":"ISIC-04","location":"Taipei, Taiwan"},"container-title":["Proceedings of the 2004 IEEE International Symposium on Intelligent Control, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9528\/30194\/01387650.pdf?arnumber=1387650","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T19:45:54Z","timestamp":1489520754000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1387650\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/isic.2004.1387650","relation":{},"subject":[]}}