{"id":"https://openalex.org/W4406044615","doi":"https://doi.org/10.3389/frobt.2024.1363443","title":"EzSkiROS: enhancing robot skill composition with embedded DSL for early error detection","display_name":"EzSkiROS: enhancing robot skill composition with embedded DSL for early error detection","publication_year":2025,"publication_date":"2025-01-03","ids":{"openalex":"https://openalex.org/W4406044615","doi":"https://doi.org/10.3389/frobt.2024.1363443","pmid":"https://pubmed.ncbi.nlm.nih.gov/39831284"},"language":"en","primary_location":{"id":"doi:10.3389/frobt.2024.1363443","is_oa":true,"landing_page_url":"https://doi.org/10.3389/frobt.2024.1363443","pdf_url":"https://www.frontiersin.org/journals/robotics-and-ai/articles/10.3389/frobt.2024.1363443/pdf","source":{"id":"https://openalex.org/S2595095599","display_name":"Frontiers in Robotics and AI","issn_l":"2296-9144","issn":["2296-9144"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320527","host_organization_name":"Frontiers Media","host_organization_lineage":["https://openalex.org/P4310320527"],"host_organization_lineage_names":["Frontiers Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Robotics and AI","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj","pubmed"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.frontiersin.org/journals/robotics-and-ai/articles/10.3389/frobt.2024.1363443/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084807872","display_name":"Momina Rizwan","orcid":"https://orcid.org/0000-0002-9426-2954"},"institutions":[{"id":"https://openalex.org/I187531555","display_name":"Lund University","ror":"https://ror.org/012a77v79","country_code":"SE","type":"education","lineage":["https://openalex.org/I187531555"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Momina Rizwan","raw_affiliation_strings":["Department of Computer Science, Faculty of Engineering (LTH), Lund University, Lund, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Faculty of Engineering (LTH), Lund University, Lund, Sweden","institution_ids":["https://openalex.org/I187531555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019910161","display_name":"Christoph Reichenbach","orcid":"https://orcid.org/0000-0003-0608-7023"},"institutions":[{"id":"https://openalex.org/I187531555","display_name":"Lund University","ror":"https://ror.org/012a77v79","country_code":"SE","type":"education","lineage":["https://openalex.org/I187531555"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Christoph Reichenbach","raw_affiliation_strings":["Department of Computer Science, Faculty of Engineering (LTH), Lund University, Lund, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Faculty of Engineering (LTH), Lund University, Lund, Sweden","institution_ids":["https://openalex.org/I187531555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059659219","display_name":"Ricardo Caldas","orcid":"https://orcid.org/0000-0001-9997-8487"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Ricardo Caldas","raw_affiliation_strings":["Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077454772","display_name":"Matthias Mayr","orcid":"https://orcid.org/0000-0002-2780-1233"},"institutions":[{"id":"https://openalex.org/I187531555","display_name":"Lund University","ror":"https://ror.org/012a77v79","country_code":"SE","type":"education","lineage":["https://openalex.org/I187531555"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Matthias Mayr","raw_affiliation_strings":["Department of Computer Science, Faculty of Engineering (LTH), Lund University, Lund, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Faculty of Engineering (LTH), Lund University, Lund, Sweden","institution_ids":["https://openalex.org/I187531555"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109357557","display_name":"Volker Krueger","orcid":null},"institutions":[{"id":"https://openalex.org/I187531555","display_name":"Lund University","ror":"https://ror.org/012a77v79","country_code":"SE","type":"education","lineage":["https://openalex.org/I187531555"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Volker Krueger","raw_affiliation_strings":["Department of Computer Science, Faculty of Engineering (LTH), Lund University, Lund, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Faculty of Engineering (LTH), Lund University, Lund, Sweden","institution_ids":["https://openalex.org/I187531555"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5019910161","https://openalex.org/A5084807872"],"corresponding_institution_ids":["https://openalex.org/I187531555"],"apc_list":{"value":1900,"currency":"USD","value_usd":1900},"apc_paid":{"value":1900,"currency":"USD","value_usd":1900},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0019721,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"11","issue":null,"first_page":"1363443","last_page":"1363443"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9830999970436096,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9789999723434448,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8479021787643433},{"id":"https://openalex.org/keywords/digital-subscriber-line","display_name":"Digital subscriber line","score":0.7856347560882568},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5487030148506165},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.45057234168052673},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.44187456369400024},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1424356997013092}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8479021787643433},{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.7856347560882568},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5487030148506165},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.45057234168052673},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44187456369400024},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1424356997013092}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.3389/frobt.2024.1363443","is_oa":true,"landing_page_url":"https://doi.org/10.3389/frobt.2024.1363443","pdf_url":"https://www.frontiersin.org/journals/robotics-and-ai/articles/10.3389/frobt.2024.1363443/pdf","source":{"id":"https://openalex.org/S2595095599","display_name":"Frontiers in Robotics and AI","issn_l":"2296-9144","issn":["2296-9144"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320527","host_organization_name":"Frontiers Media","host_organization_lineage":["https://openalex.org/P4310320527"],"host_organization_lineage_names":["Frontiers Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Robotics and AI","raw_type":"journal-article"},{"id":"pmid:39831284","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/39831284","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in robotics and AI","raw_type":null},{"id":"pmh:oai:pubmedcentral.nih.gov:11738934","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/11738934","pdf_url":"https://pmc.ncbi.nlm.nih.gov/articles/PMC11738934/pdf/frobt-11-1363443.pdf","source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"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":"Front Robot AI","raw_type":"Text"},{"id":"pmh:oai:doaj.org/article:3d40201b6ed246db8c31d9cc953fe973","is_oa":true,"landing_page_url":"https://doaj.org/article/3d40201b6ed246db8c31d9cc953fe973","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Frontiers in Robotics and AI, Vol 11 (2025)","raw_type":"article"},{"id":"pmh:oai:lup.lub.lu.se:be0b5e3b-c754-4672-88af-5fd54f3adbca","is_oa":false,"landing_page_url":"https://lup.lub.lu.se/record/be0b5e3b-c754-4672-88af-5fd54f3adbca","pdf_url":null,"source":{"id":"https://openalex.org/S4306400536","display_name":"Lund University Publications (Lund University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I187531555","host_organization_name":"Lund University","host_organization_lineage":["https://openalex.org/I187531555"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 2296-9144","raw_type":"text"},{"id":"pmh:oai:research.chalmers.se:543668","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/543668","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.3389/frobt.2024.1363443","is_oa":true,"landing_page_url":"https://doi.org/10.3389/frobt.2024.1363443","pdf_url":"https://www.frontiersin.org/journals/robotics-and-ai/articles/10.3389/frobt.2024.1363443/pdf","source":{"id":"https://openalex.org/S2595095599","display_name":"Frontiers in Robotics and AI","issn_l":"2296-9144","issn":["2296-9144"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320527","host_organization_name":"Frontiers Media","host_organization_lineage":["https://openalex.org/P4310320527"],"host_organization_lineage_names":["Frontiers Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Robotics and AI","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4406044615.pdf","grobid_xml":"https://content.openalex.org/works/W4406044615.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W109296386","https://openalex.org/W179409048","https://openalex.org/W1487650305","https://openalex.org/W1501832557","https://openalex.org/W1874235524","https://openalex.org/W2037795313","https://openalex.org/W2086113803","https://openalex.org/W2101512909","https://openalex.org/W2135653217","https://openalex.org/W2151492375","https://openalex.org/W2313961224","https://openalex.org/W2749087070","https://openalex.org/W3024044737","https://openalex.org/W3091746432","https://openalex.org/W3093255565","https://openalex.org/W3141505394","https://openalex.org/W3145123113","https://openalex.org/W3163012639","https://openalex.org/W3178067170","https://openalex.org/W3205890605","https://openalex.org/W4252370303","https://openalex.org/W4280626983","https://openalex.org/W4294768492","https://openalex.org/W4294926347","https://openalex.org/W4297311390","https://openalex.org/W4300635244","https://openalex.org/W4310923731","https://openalex.org/W4320027835","https://openalex.org/W4366668639","https://openalex.org/W4385269273","https://openalex.org/W4389666220","https://openalex.org/W4389666416","https://openalex.org/W6629980041","https://openalex.org/W6639261359","https://openalex.org/W6739029462","https://openalex.org/W6746632923","https://openalex.org/W6756486208","https://openalex.org/W6786431161","https://openalex.org/W6791465970","https://openalex.org/W6841840793","https://openalex.org/W6846947709","https://openalex.org/W6853676900","https://openalex.org/W6855798901"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1622568043","https://openalex.org/W2056183469","https://openalex.org/W2055565857","https://openalex.org/W4230802329","https://openalex.org/W2151852566","https://openalex.org/W2087366038","https://openalex.org/W4299645117"],"abstract_inverted_index":{"When":[0],"developing":[1],"general-purpose":[2],"robot":[3,39,101,123,132,159,269],"software":[4,187],"components,":[5],"we":[6,72,179],"often":[7],"lack":[8],"complete":[9],"knowledge":[10],"of":[11,131,173,204,293],"the":[12,50,129,150,158,167,193,197,201,205,210,217,229,241,248,254,262,291,294],"specific":[13],"contexts":[14],"in":[15,114,192,216],"which":[16],"they":[17,266],"will":[18],"be":[19],"executed.":[20],"This":[21,58,252],"limits":[22],"our":[23,29,176,182,279],"ability":[24,30],"to":[25,31,63,91,106,142,189,213,227],"make":[26],"predictions,":[27],"including":[28],"detect":[32,190,214],"program":[33],"bugs":[34,191,215,286],"statically.":[35],"Since":[36],"running":[37],"a":[38],"is":[40,282],"an":[41,61,121],"expensive":[42],"task,":[43],"finding":[44,285],"errors":[45,68],"at":[46,77],"runtime":[47,250],"can":[48,160,267],"prolong":[49],"debugging":[51],"loop":[52],"or":[53],"even":[54],"cause":[55],"safety":[56,256],"hazards.":[57],"paper":[59],"proposes":[60],"approach":[62,281],"help":[64,138],"developers":[65,276],"catch":[66],"these":[67,108],"as":[69,71,222],"soon":[70],"have":[73],"some":[74],"context":[75],"(typically":[76],"pre-launch":[78],"time)":[79],"with":[80,261,274],"minimal":[81],"additional":[82],"efforts.":[83],"We":[84,95,207,236],"use":[85,107,143],"embedded":[86],"domain-specific":[87],"language":[88],"(DSL)":[89],"techniques":[90,212],"enforce":[92],"early":[93,287],"checks.":[94,251],"describe":[96],"design":[97,109,183],"patterns":[98,110,184],"suitable":[99],"for":[100,111,128,284],"programming":[102],"and":[103,162,166,170,200,288],"show":[104,180],"how":[105,141,181],"DSL":[112,144,177],"embedding":[113,145],"Python,":[115],"using":[116],"two":[117,135,147],"case":[118,136],"studies":[119,137],"on":[120,146,156,233],"open-source":[122],"skill":[124,152,263],"platform":[125],"SkiROS2,":[126],"designed":[127],"composition":[130],"skills.":[133],"These":[134],"us":[139],"understand":[140],"abstraction":[148],"levels:":[149],"high-level":[151,194],"description":[153],"that":[154,278],"focuses":[155],"what":[157,164],"do":[161],"under":[163],"circumstances":[165],"lower-level":[168,218],"decision-making":[169],"execution":[171,264],"flow":[172],"tasks.":[174],"Using":[175],"EzSkiROS,":[178],"enable":[185],"robotics":[186],"platforms":[188],"contracts":[195],"between":[196],"robot's":[198,202,230],"capabilities":[199],"understanding":[203],"world.":[206],"also":[208],"apply":[209],"same":[211],"implementation":[219],"code,":[220],"such":[221],"writing":[223],"behavior":[224,231],"trees":[225],"(BTs),":[226],"control":[228],"based":[232],"its":[234],"capabilities.":[235],"perform":[237],"consistency":[238],"checks":[239],"during":[240],"code":[242],"deployment":[243],"phase,":[244],"significantly":[245],"earlier":[246],"than":[247],"typical":[249],"enhances":[253],"overall":[255],"by":[257],"identifying":[258],"potential":[259],"issues":[260],"before":[265],"impact":[268],"behavior.":[270],"An":[271],"initial":[272],"study":[273],"SkiROS2":[275],"shows":[277],"DSL-based":[280],"useful":[283],"thus":[289],"improving":[290],"maintainability":[292],"code.":[295]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}