{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T04:02:32Z","timestamp":1775880152044,"version":"3.50.1"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ijcnn.2005.1556387","type":"proceedings-article","created":{"date-parts":[[2006,1,5]],"date-time":"2006-01-05T14:52:38Z","timestamp":1136472758000},"page":"2909-2914","source":"Crossref","is-referenced-by-count":10,"title":["Challenges in verification and validation of autonomous systems for space exploration"],"prefix":"10.1109","volume":"5","author":[{"given":"G.","family":"Brat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Jonsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27864-1_13"},{"key":"17","article-title":"Formal verification of diagnosability via model checking","author":"pecheur","year":"2002","journal-title":"Workshop on Model Checking and Artificial Intelligence"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.1998.724883"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00068-X"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1117\/12.497223"},{"key":"13","author":"holzmann","year":"2003","journal-title":"The SPIN MODEL CHECKER - Primer and Reference Manual"},{"key":"14","article-title":"Planning in interplanetary space: Theory and practice","author":"jonsson","year":"2000","journal-title":"Proc 5th Int Conf Artificial Intelligence Planning Scheduling"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2002.1036832"},{"key":"12","article-title":"Software analysis and model checking","author":"holzmann","year":"2002","journal-title":"Proc CAV-2002"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1039813.1039816"},{"key":"3","article-title":"Symbolic model checking: 10E20 states and beyond","author":"buch","year":"1990","journal-title":"LICS"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996869"},{"key":"2","article-title":"Java PathFinder - Second generation of a Java model checker","author":"brat","year":"2000","journal-title":"Post-CAV Workshop on Advances in Verification"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36377-7_5"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-005-2641-y"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004562"},{"key":"6","article-title":"Continuous planning and execution for an autonomous rover","author":"estlin","year":"2002","journal-title":"Proc 3rd Int NASA Workshop Planning Scheduling Space"},{"key":"5","article-title":"Model-checking middleware-based event-driven real-time embedded software","author":"deng","year":"2002","journal-title":"Proc 4th Int'l Symp Formal Methods for Components and Objects"},{"key":"4","article-title":"Using iterative repair to improve the responsiveness of planning and scheduling","author":"chien","year":"2000","journal-title":"Proc 6th Int l Conf Artificial Intelligence Planning and Scheduling"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025842019552"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30201-8_20"}],"event":{"name":"2005 IEEE International Joint Conference on Neural Networks, 2005.","location":"MOntreal, QC, Canada","acronym":"IJCNN-05"},"container-title":["Proceedings. 2005 IEEE International Joint Conference on Neural Networks, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10421\/33093\/01556387.pdf?arnumber=1556387","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T20:22:09Z","timestamp":1489522929000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1556387\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/ijcnn.2005.1556387","relation":{},"subject":[]}}