We have now received the review reports on your paper entitled "Autonomous Asteroid Exploration[Improvements of Agent Based Control for Autonomous Spacecraft in Complex Environments]" submitted to the IEEE CIM Special Issue on Intelligent Space Systems and Operations. I am pleased to inform you that your paper has been CONDITIONALLY ACCEPTED subject to minor revisions in response to the editor/reviewers' comments (attached at the back of this email).
This is one of two journal papers planned from the Engineering Autonomous Space Software project. It's basically the engineering paper - describing what the project achieved from the engineering perspective and focusing on an asteroid exploration case study. The Computer Science paper which is intended to focus on verification is... umm... in small pieces all over my hard drive having been rejected by both JAIR (Journal of Artificial Intelligence Research) and AIJ (Artificial Intelligence Journal) and pending updated results and possibly a new case study based on autonomous cruise control in cars.