We have received the reports from our advisors on your manuscript, "Practical Verification of Decision-Making in Agent-Based Autonomous Systems", which you submitted to Automated Software Engineering.

Based on the advice received, your manuscript could be accepted for publication should you be prepared to incorporate minor revisions.

This paper hasn't quite had the legs of the albatross paper (actually it hasn't even come close to being the burden the albatross paper was), but it has certainly done the rounds involving major rewrites and considerable extra implementation effort. Bits of it have also ended up in other publications (most notably the Communications of the ACM article) and that's always a bit worrying. I didn't want to end up in a situation where the actual nitty-gritty technical detail was rendered unpublishable because the high-level view had appeared elsewhere. One of the referees even flags this up and has asked for some clarifications about what has appeared elsewhere, but thankfully agrees there is sufficient novel work left to make it publishable.