Next Article in Journal
Towards Safe Robotic Agricultural Applications: Safe Navigation System Design for a Robotic Grass-Mowing Application through the Risk Management Method
Previous Article in Journal
An Incremental Inverse Reinforcement Learning Approach for Motion Planning with Separated Path and Velocity Preferences
Previous Article in Special Issue
RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications
 
 
Article
Peer-Review Record

CSP2Turtle: Verified Turtle Robot Plans†

by Dara MacConville 1,*, Marie Farrell 2, Matt Luckcuck 3 and Rosemary Monahan 1
Reviewer 1:
Reviewer 2:
Submission received: 23 February 2023 / Revised: 15 April 2023 / Accepted: 17 April 2023 / Published: 21 April 2023
(This article belongs to the Special Issue Agents and Robots for Reliable Engineered Autonomy 2023)

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.

Back to TopTop