{"id":"https://openalex.org/W4366830296","doi":"https://doi.org/10.3390/robotics12020062","title":"CSP2Turtle: Verified Turtle Robot Plans","display_name":"CSP2Turtle: Verified Turtle Robot Plans","publication_year":2023,"publication_date":"2023-04-21","ids":{"openalex":"https://openalex.org/W4366830296","doi":"https://doi.org/10.3390/robotics12020062"},"language":"en","primary_location":{"id":"doi:10.3390/robotics12020062","is_oa":true,"landing_page_url":"https://doi.org/10.3390/robotics12020062","pdf_url":"https://www.mdpi.com/2218-6581/12/2/62/pdf?version=1682328911","source":{"id":"https://openalex.org/S4210232487","display_name":"Robotics","issn_l":"2218-6581","issn":["2218-6581"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Robotics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2218-6581/12/2/62/pdf?version=1682328911","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003979082","display_name":"Dara MacConville","orcid":"https://orcid.org/0000-0002-2510-9446"},"institutions":[{"id":"https://openalex.org/I157286207","display_name":"National University of Ireland, Maynooth","ror":"https://ror.org/048nfjm95","country_code":"IE","type":"education","lineage":["https://openalex.org/I157286207"]}],"countries":["IE"],"is_corresponding":true,"raw_author_name":"Dara MacConville","raw_affiliation_strings":["Department of Computer Science/Hamilton Institute, Maynooth University, Maynooth, Co., W23 N7F6 Kildare, Ireland"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science/Hamilton Institute, Maynooth University, Maynooth, Co., W23 N7F6 Kildare, Ireland","institution_ids":["https://openalex.org/I157286207"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076259366","display_name":"Marie Farrell","orcid":"https://orcid.org/0000-0001-7708-3877"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Marie Farrell","raw_affiliation_strings":["Department of Computer Science, The University of Manchester, Manchester M13 9PL, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Manchester, Manchester M13 9PL, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053767784","display_name":"Matt Luckcuck","orcid":"https://orcid.org/0000-0002-6444-9312"},"institutions":[{"id":"https://openalex.org/I22128151","display_name":"University of Derby","ror":"https://ror.org/02yhrrk59","country_code":"GB","type":"education","lineage":["https://openalex.org/I22128151"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Matt Luckcuck","raw_affiliation_strings":["Department of Electronics, Computing and Mathematics, University of Derby, Derby DE22 1GB, UK"],"affiliations":[{"raw_affiliation_string":"Department of Electronics, Computing and Mathematics, University of Derby, Derby DE22 1GB, UK","institution_ids":["https://openalex.org/I22128151"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003866910","display_name":"Rosemary Monahan","orcid":"https://orcid.org/0000-0003-3886-4675"},"institutions":[{"id":"https://openalex.org/I157286207","display_name":"National University of Ireland, Maynooth","ror":"https://ror.org/048nfjm95","country_code":"IE","type":"education","lineage":["https://openalex.org/I157286207"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Rosemary Monahan","raw_affiliation_strings":["Department of Computer Science/Hamilton Institute, Maynooth University, Maynooth, Co., W23 N7F6 Kildare, Ireland"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science/Hamilton Institute, Maynooth University, Maynooth, Co., W23 N7F6 Kildare, Ireland","institution_ids":["https://openalex.org/I157286207"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5003979082"],"corresponding_institution_ids":["https://openalex.org/I157286207"],"apc_list":{"value":1600,"currency":"CHF","value_usd":1732},"apc_paid":{"value":1600,"currency":"CHF","value_usd":1732},"fwci":0.1728,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53112532,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"12","issue":"2","first_page":"62","last_page":"62"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/toolchain","display_name":"Toolchain","score":0.8908476233482361},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.8257828950881958},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.7743878364562988},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7150691151618958},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6103355288505554},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.559063196182251},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.48133358359336853},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45847654342651367},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.43532097339630127},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.40962204337120056},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3986611068248749},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.397935688495636}],"concepts":[{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.8908476233482361},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.8257828950881958},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.7743878364562988},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7150691151618958},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6103355288505554},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.559063196182251},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.48133358359336853},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45847654342651367},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.43532097339630127},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.40962204337120056},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3986611068248749},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.397935688495636}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.3390/robotics12020062","is_oa":true,"landing_page_url":"https://doi.org/10.3390/robotics12020062","pdf_url":"https://www.mdpi.com/2218-6581/12/2/62/pdf?version=1682328911","source":{"id":"https://openalex.org/S4210232487","display_name":"Robotics","issn_l":"2218-6581","issn":["2218-6581"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Robotics","raw_type":"journal-article"},{"id":"pmh:oai:nottingham-repository.worktribe.com:45862049","is_oa":true,"landing_page_url":"https://nottingham-repository.worktribe.com/output/45862049","pdf_url":"https://nottingham-repository.worktribe.com/file/45862049/1/CSP2Turtle%3A%20Verified%20Turtle%20Robot%20Plans","source":{"id":"https://openalex.org/S4306402483","display_name":"Repository@Nottingham (University of Nottingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I142263535","host_organization_name":"University of Nottingham","host_organization_lineage":["https://openalex.org/I142263535"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},{"id":"pmh:oai:doaj.org/article:229df6b766504c28a93d9dfe42ad99b6","is_oa":true,"landing_page_url":"https://doaj.org/article/229df6b766504c28a93d9dfe42ad99b6","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Robotics, Vol 12, Iss 2, p 62 (2023)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/2218-6581/12/2/62/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/robotics12020062","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Robotics; Volume 12; Issue 2; Pages: 62","raw_type":"Text"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/53789642-4d63-4b84-9a16-44a70c3ebd3f","is_oa":true,"landing_page_url":"https://www.scopus.com/pages/publications/85153701744","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"MacConville, D, Farrell, M, Luckcuck, M & Monahan, R 2023, 'CSP2Turtle: Verified Turtle Robot Plans', robotics, vol. 12, no. 2, 62. https://doi.org/10.3390/robotics12020062","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/robotics12020062","is_oa":true,"landing_page_url":"https://doi.org/10.3390/robotics12020062","pdf_url":"https://www.mdpi.com/2218-6581/12/2/62/pdf?version=1682328911","source":{"id":"https://openalex.org/S4210232487","display_name":"Robotics","issn_l":"2218-6581","issn":["2218-6581"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Robotics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1804718716","display_name":null,"funder_award_id":"SFI 18/CRT/6049","funder_id":"https://openalex.org/F4320320847","funder_display_name":"Science Foundation Ireland"},{"id":"https://openalex.org/G2864483227","display_name":null,"funder_award_id":"Fellowship","funder_id":"https://openalex.org/F4320320005","funder_display_name":"Royal Academy of Engineering"},{"id":"https://openalex.org/G4915346836","display_name":null,"funder_award_id":"18/CRT/6","funder_id":"https://openalex.org/F4320320847","funder_display_name":"Science Foundation Ireland"},{"id":"https://openalex.org/G500045321","display_name":null,"funder_award_id":"18/CRT/6049","funder_id":"https://openalex.org/F4320320847","funder_display_name":"Science Foundation Ireland"},{"id":"https://openalex.org/G699852296","display_name":null,"funder_award_id":"18/CRT/604","funder_id":"https://openalex.org/F4320320847","funder_display_name":"Science Foundation Ireland"}],"funders":[{"id":"https://openalex.org/F4320320005","display_name":"Royal Academy of Engineering","ror":"https://ror.org/0526snb40"},{"id":"https://openalex.org/F4320320847","display_name":"Science Foundation Ireland","ror":"https://ror.org/0271asj38"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4366830296.pdf"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W1611801415","https://openalex.org/W1986933799","https://openalex.org/W1993466996","https://openalex.org/W2095783673","https://openalex.org/W2128510433","https://openalex.org/W2129901874","https://openalex.org/W2133517325","https://openalex.org/W2163941698","https://openalex.org/W2295204826","https://openalex.org/W2346648140","https://openalex.org/W2807719099","https://openalex.org/W2811472820","https://openalex.org/W2883459807","https://openalex.org/W2912806430","https://openalex.org/W2931984156","https://openalex.org/W2973204678","https://openalex.org/W2974452274","https://openalex.org/W2981983935","https://openalex.org/W3098812810","https://openalex.org/W3158684676","https://openalex.org/W3184465860","https://openalex.org/W3200319982","https://openalex.org/W3215983834","https://openalex.org/W4210781233","https://openalex.org/W4211008702","https://openalex.org/W4226133582","https://openalex.org/W4236160500","https://openalex.org/W4285797891","https://openalex.org/W6799268660","https://openalex.org/W6808451746"],"related_works":["https://openalex.org/W2013037783","https://openalex.org/W2909413202","https://openalex.org/W4385243142","https://openalex.org/W1999008563","https://openalex.org/W2561644314","https://openalex.org/W2912135124","https://openalex.org/W2794118724","https://openalex.org/W4206450104","https://openalex.org/W2883257033","https://openalex.org/W2265795076"],"abstract_inverted_index":{"Software":[0],"verification":[1,146],"is":[2,18,41,62],"an":[3],"important":[4,14],"approach":[5,158,174,182],"to":[6,50,52,58,117,186],"establishing":[7],"the":[8,20,44,68,72,75,114,121],"reliability":[9],"of":[10,16,22,74,134,147,161],"critical":[11],"systems.":[12,154,188],"One":[13],"area":[15],"application":[17],"in":[19,30,42,67,127,167],"field":[21],"robotics,":[23],"as":[24],"robots":[25,47],"take":[26],"on":[27],"more":[28,144,151],"tasks":[29],"both":[31],"day-to-day":[32],"areas":[33],"and":[34,80,108,150,164,175],"highly":[35],"specialised":[36],"domains.":[37],"Our":[38,101],"particular":[39],"interest":[40],"checking":[43],"plans":[45,112],"that":[46,55,131],"are":[48],"expected":[49],"follow":[51],"detect":[53],"errors":[54,135],"would":[56],"lead":[57],"unreliable":[59],"behaviour.":[60],"Python":[61,109],"a":[63,88,140,168],"popular":[64],"programming":[65],"language":[66],"robotics":[69],"domain":[70],"through":[71],"use":[73],"Robot":[76],"Operating":[77],"System":[78],"(ROS)":[79],"various":[81],"other":[82],"libraries.":[83],"Python\u2019s":[84],"Turtle":[85,148],"package":[86],"provides":[87],"mobile":[89],"agent,":[90],"which":[91],"we":[92],"formally":[93],"model":[94],"here":[95],"using":[96,120],"Communicating":[97],"Sequential":[98],"Processes":[99],"(CSP).":[100],"interactive":[102],"toolchain":[103],"CSP2Turtle":[104],"with":[105,159],"CSP":[106],"models":[107],"components":[110],"enables":[111],"for":[113,143],"turtle":[115],"agent":[116],"be":[118,137,184],"verified":[119],"FDR":[122],"model-checker":[123],"before":[124],"being":[125],"executed":[126],"Python.":[128],"This":[129],"means":[130],"certain":[132],"classes":[133],"can":[136],"avoided,":[138],"providing":[139],"starting":[141],"point":[142],"detailed":[145],"programs":[149],"complex":[152],"robotic":[153],"We":[155,171],"illustrate":[156],"our":[157,173,181],"examples":[160],"robot":[162],"navigation":[163],"obstacle":[165],"avoidance":[166],"2D":[169],"grid-world.":[170],"evaluate":[172],"discuss":[176],"future":[177],"work,":[178],"including":[179],"how":[180],"could":[183],"scaled":[185],"larger":[187]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}