CSP2Turtle: Verified Turtle Robot Plansâ€
Round 1
Reviewer 1 Report
Please see the attached file
Comments for author File: Comments.pdf
Author Response
Please see the attachment.
Author Response File: Author Response.pdf
Reviewer 2 Report
Python Turtle package provides a mobile agent, which uses to model Communicating Sequential Processes (CSP). This paper presents a CSP2Turtle tool with CSP models and Python components to enable plans for the turtle agent to be verified using the FDR model-checker before being executed in Python. The proposed tool looks useful in some related fields.
On the other hand, the paper is written as an engineering report, whose technical novelty is not quite clear. Meanwhile, it is not very clear the proposed method can be applied to the real 3D world scenarios or not.
As for evaluation, it is important to compare with some existing toolboxes or methods, which does miss in the current submission.
Author Response
Please see the attachment.
Author Response File: Author Response.pdf
Round 2
Reviewer 2 Report
The revision looks good to me. Thanks for the response.
Author Response
Thanks again for the review.