{"id":"https://openalex.org/W2980139972","doi":"https://doi.org/10.1145/3357766.3359535","title":"High-level mission specification for multiple robots","display_name":"High-level mission specification for multiple robots","publication_year":2019,"publication_date":"2019-10-10","ids":{"openalex":"https://openalex.org/W2980139972","doi":"https://doi.org/10.1145/3357766.3359535","mag":"2980139972"},"language":"en","primary_location":{"id":"doi:10.1145/3357766.3359535","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3357766.3359535","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024130923","display_name":"Sergio Garc\u00eda","orcid":"https://orcid.org/0000-0001-7369-2480"},"institutions":[{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]},{"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":true,"raw_author_name":"Sergio Garc\u00eda","raw_affiliation_strings":["Chalmers University of Technology, Sweden / University of Gothenburg, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, Sweden / University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912","https://openalex.org/I881427289"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013103539","display_name":"Patrizio Pelliccione","orcid":"https://orcid.org/0000-0002-5438-2281"},"institutions":[{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]},{"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":"Patrizio Pelliccione","raw_affiliation_strings":["Chalmers University of Technology, Sweden / University of Gothenburg, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, Sweden / University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912","https://openalex.org/I881427289"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018466538","display_name":"Claudio Menghi","orcid":"https://orcid.org/0000-0001-5303-8481"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Claudio Menghi","raw_affiliation_strings":["University of Luxembourg, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072456187","display_name":"Thorsten Berger","orcid":"https://orcid.org/0000-0002-3870-5167"},"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"]},{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Thorsten Berger","raw_affiliation_strings":["Chalmers University of Technology, Sweden / University of Gothenburg, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, Sweden / University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912","https://openalex.org/I881427289"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082418720","display_name":"Tom\u00e1\u0161 Bure\u0161","orcid":"https://orcid.org/0000-0003-3622-9918"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Tomas Bures","raw_affiliation_strings":["Charles University in Prague, Czechia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Charles University in Prague, Czechia","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5024130923"],"corresponding_institution_ids":["https://openalex.org/I66862912","https://openalex.org/I881427289"],"apc_list":null,"apc_paid":null,"fwci":2.6009,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.92245858,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"127","last_page":"140"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.996999979019165,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.996999979019165,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.994700014591217,"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/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9922999739646912,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7777775526046753},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6555888652801514},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.6507794260978699},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6483362913131714},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.615574061870575},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.5647399425506592},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5381326079368591},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.5030695796012878},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.476430743932724},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.4658428430557251},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4629460573196411},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.45428797602653503},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4451615810394287},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4446375370025635},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3906928598880768},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3443228602409363},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.1445005238056183},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10969728231430054}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7777775526046753},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6555888652801514},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6507794260978699},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6483362913131714},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.615574061870575},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.5647399425506592},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5381326079368591},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.5030695796012878},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.476430743932724},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.4658428430557251},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4629460573196411},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.45428797602653503},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4451615810394287},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4446375370025635},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3906928598880768},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3443228602409363},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.1445005238056183},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10969728231430054},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3357766.3359535","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3357766.3359535","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:aisberg.unibg.it:10446/236970","is_oa":false,"landing_page_url":"https://hdl.handle.net/10446/236970","pdf_url":null,"source":{"id":"https://openalex.org/S4377196347","display_name":"Aisberg (University of Bergamo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I11039511","host_organization_name":"University of Bergamo","host_organization_lineage":["https://openalex.org/I11039511"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W107134157","https://openalex.org/W377362545","https://openalex.org/W1501640954","https://openalex.org/W1510994837","https://openalex.org/W1740106594","https://openalex.org/W1957629191","https://openalex.org/W2004796166","https://openalex.org/W2029151451","https://openalex.org/W2034592322","https://openalex.org/W2037792107","https://openalex.org/W2055362048","https://openalex.org/W2056095435","https://openalex.org/W2064468184","https://openalex.org/W2071797744","https://openalex.org/W2077115435","https://openalex.org/W2077578897","https://openalex.org/W2101663592","https://openalex.org/W2157837575","https://openalex.org/W2158592697","https://openalex.org/W2166839364","https://openalex.org/W2167340365","https://openalex.org/W2295288655","https://openalex.org/W2461474081","https://openalex.org/W2525188040","https://openalex.org/W2604113177","https://openalex.org/W2808762350","https://openalex.org/W2884845300","https://openalex.org/W3151685851","https://openalex.org/W4252568299","https://openalex.org/W4317382688","https://openalex.org/W4376502360","https://openalex.org/W4376571101","https://openalex.org/W4400518895"],"related_works":["https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W4283160672","https://openalex.org/W1590965489"],"abstract_inverted_index":{"Mobile":[0],"robots":[1,87,114,130,236],"are":[2],"increasingly":[3],"used":[4],"in":[5,23,88,143,237],"our":[6],"everyday":[7],"life":[8],"to":[9,20,37,74,99,102,193,218,232],"autonomously":[10],"realize":[11],"missions.":[12,145],"A":[13],"variety":[14,172],"of":[15,27,45,47,81,85,107,110,122,134,140,173,197,202,222],"languages":[16,33,39],"has":[17],"been":[18],"proposed":[19],"support":[21],"roboticists":[22],"the":[24,113,138,195,198,220],"systematic":[25],"development":[26],"robotic":[28,204],"applications,":[29],"ranging":[30],"from":[31],"logical":[32],"with":[34,40,178,206],"well-defined":[35,94],"semantics":[36],"domain-specific":[38],"user-friendly":[41,90,239],"syntax.":[42],"The":[43,117,146,224],"characteristics":[44],"both":[46,207],"them":[48],"have":[49],"distinct":[50],"advantages,":[51],"however,":[52],"developing":[53],"a":[54,67,78,89,108,120,132,151,159,162,171,179,238],"language":[55,69,118,147],"that":[56,70,125,136,154,166,227],"combines":[57],"those":[58],"advantages":[59],"remains":[60],"an":[61],"elusive":[62],"task.":[63],"We":[64,175,190,212],"present":[65],"PROMISE,":[66],"novel":[68],"enables":[71],"domain":[72],"experts":[73],"specify":[75,103,233],"missions":[76,205,234],"on":[77],"high":[79],"level":[80],"abstraction":[82],"for":[83,235],"teams":[84],"autonomous":[86],"way,":[91],"while":[92],"having":[93],"semantics.":[95],"Our":[96],"ambition":[97],"is":[98,148],"permit":[100],"users":[101,231],"high-level":[104],"goals":[105],"instead":[106],"series":[109],"specific":[111],"actions":[112],"should":[115],"perform.":[116],"contains":[119],"set":[121,133],"atomic":[123],"tasks":[124,142],"can":[126,167],"be":[127,168],"executed":[128],"by":[129,150],"and":[131,161,165,188,200,209],"operators":[135],"allow":[137],"composition":[139],"these":[141],"complex":[144,203],"supported":[149],"standalone":[152],"tool":[153],"permits":[155],"mission":[156],"specification":[157,199],"through":[158],"textual":[160],"graphical":[163],"interface":[164],"integrated":[169,176],"within":[170],"frameworks.":[174],"PROMISE":[177,228],"software":[180],"platform":[181],"providing":[182],"functionalities":[183],"such":[184],"as":[185],"motion":[186],"control":[187],"planning.":[189],"conducted":[191,214],"experiments":[192],"evaluate":[194],"correctness":[196],"execution":[201],"simulators":[208],"real":[210],"robots.":[211],"also":[213],"two":[215],"user":[216],"studies":[217],"assess":[219],"simplicity":[221],"PROMISE.":[223],"results":[225],"show":[226],"effectively":[229],"supports":[230],"manner.":[240]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":6}],"updated_date":"2026-04-25T08:17:42.794288","created_date":"2025-10-10T00:00:00"}