{"id":"https://openalex.org/W2909669836","doi":"https://doi.org/10.1109/tse.2019.2945329","title":"Specification Patterns for Robotic Missions","display_name":"Specification Patterns for Robotic Missions","publication_year":2019,"publication_date":"2019-10-04","ids":{"openalex":"https://openalex.org/W2909669836","doi":"https://doi.org/10.1109/tse.2019.2945329","mag":"2909669836"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2019.2945329","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2019.2945329","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1901.02077","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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":true,"raw_author_name":"Claudio Menghi","raw_affiliation_strings":["University of Luxembourg, Esch-sur-Alzette, Luxembourg","University of Luxembourg, Esch-sur-Alzette, Luxembourg,"],"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Esch-sur-Alzette, Luxembourg","institution_ids":["https://openalex.org/I186903577"]},{"raw_affiliation_string":"University of Luxembourg, Esch-sur-Alzette, Luxembourg,","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057850035","display_name":"Christos Tsigkanos","orcid":"https://orcid.org/0000-0002-9493-3404"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Christos Tsigkanos","raw_affiliation_strings":["TU Wien, Wien, Austria","TU Wien, Wien, Austria#TAB#"],"affiliations":[{"raw_affiliation_string":"TU Wien, Wien, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"TU Wien, Wien, Austria#TAB#","institution_ids":["https://openalex.org/I145847075"]}]},{"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/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, Göteborg, Sweden","Chalmers, G\u00f6teborg, Sweden"],"affiliations":[{"raw_affiliation_string":"Chalmers, Göteborg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Chalmers, G\u00f6teborg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024976868","display_name":"Carlo Ghezzi","orcid":"https://orcid.org/0000-0002-7234-5011"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Carlo Ghezzi","raw_affiliation_strings":["University of L'Aquila, L'Aquila, AQ, Italy","University of L'Aquila, L'Aquila (AQ), ITALY"],"affiliations":[{"raw_affiliation_string":"University of L'Aquila, L'Aquila, AQ, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"University of L'Aquila, L'Aquila (AQ), ITALY","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072456187","display_name":"Thorsten Berger","orcid":"https://orcid.org/0000-0002-3870-5167"},"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"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Thorsten Berger","raw_affiliation_strings":["University of Gothenburg, Gothenburg, Sweden","University of Gothenburg , Gothenburg , Sweden"],"affiliations":[{"raw_affiliation_string":"University of Gothenburg, Gothenburg, Sweden","institution_ids":["https://openalex.org/I881427289"]},{"raw_affiliation_string":"University of Gothenburg , Gothenburg , Sweden","institution_ids":["https://openalex.org/I881427289"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5018466538"],"corresponding_institution_ids":["https://openalex.org/I186903577"],"apc_list":null,"apc_paid":null,"fwci":0.3294,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.61042236,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"47","issue":"10","first_page":"2208","last_page":"2224"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998000264167786,"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.9997000098228455,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9990000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8159018158912659},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6974751353263855},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6113459467887878},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.59954833984375},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5522494316101074},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5116530060768127},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.503051221370697},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.4561944603919983},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.45270273089408875},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43651649355888367},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.4269754886627197},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4251979887485504},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.42105239629745483},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.34297415614128113}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8159018158912659},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6974751353263855},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6113459467887878},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.59954833984375},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5522494316101074},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5116530060768127},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.503051221370697},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.4561944603919983},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.45270273089408875},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43651649355888367},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.4269754886627197},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4251979887485504},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.42105239629745483},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.34297415614128113},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1109/tse.2019.2945329","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2019.2945329","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1901.02077","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1901.02077","pdf_url":"https://arxiv.org/pdf/1901.02077","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:2909669836","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1901.02077","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:aisberg.unibg.it:10446/237150","is_oa":false,"landing_page_url":"https://hdl.handle.net/10446/237150","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/article"},{"id":"pmh:oai:orbilu.uni.lu:10993/41561","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/41561","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"info:eu-repo/grantAgreement/EC/H2020/694277","raw_type":null},{"id":"pmh:oai:re.public.polimi.it:11311/1278987","is_oa":false,"landing_page_url":"https://hdl.handle.net/11311/1278987","pdf_url":null,"source":{"id":"https://openalex.org/S4306400312","display_name":"Virtual Community of Pathological Anatomy (University of Castilla La Mancha)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79189158","host_organization_name":"University of Castilla-La Mancha","host_organization_lineage":["https://openalex.org/I79189158"],"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/article"},{"id":"doi:10.48550/arxiv.1901.02077","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1901.02077","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1901.02077","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1901.02077","pdf_url":"https://arxiv.org/pdf/1901.02077","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G1223380092","display_name":"Achieving Complex Collaborative Missions via Decentralized Control and Coordination of Interacting Robots","funder_award_id":"731869","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G1270213145","display_name":null,"funder_award_id":"ReACP","funder_id":"https://openalex.org/F4320310700","funder_display_name":"Universit\u00e9 du Luxembourg"},{"id":"https://openalex.org/G1511805144","display_name":null,"funder_award_id":"694277","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"},{"id":"https://openalex.org/G275404224","display_name":"Testing the Untestable: Model Testing of Complex Software-Intensive Systems","funder_award_id":"694277","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4956428346","display_name":null,"funder_award_id":"Horizon 2020 research and innovatio","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6625029885","display_name":null,"funder_award_id":"731869","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320310700","display_name":"Universit\u00e9 du Luxembourg","ror":"https://ror.org/036x5ad56"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":118,"referenced_works":["https://openalex.org/W4952878","https://openalex.org/W18970070","https://openalex.org/W22371930","https://openalex.org/W27074392","https://openalex.org/W109296386","https://openalex.org/W115815553","https://openalex.org/W217151948","https://openalex.org/W1498125516","https://openalex.org/W1500091283","https://openalex.org/W1510994837","https://openalex.org/W1521923248","https://openalex.org/W1525305145","https://openalex.org/W1527042423","https://openalex.org/W1546312393","https://openalex.org/W1547304883","https://openalex.org/W1574030932","https://openalex.org/W1588454361","https://openalex.org/W1612453857","https://openalex.org/W1652032257","https://openalex.org/W1682375770","https://openalex.org/W1705718777","https://openalex.org/W1879819495","https://openalex.org/W1887751578","https://openalex.org/W1905633610","https://openalex.org/W1918227179","https://openalex.org/W1957629191","https://openalex.org/W1971845040","https://openalex.org/W1976004406","https://openalex.org/W1991596047","https://openalex.org/W1996832037","https://openalex.org/W2000138546","https://openalex.org/W2004796166","https://openalex.org/W2005732451","https://openalex.org/W2007073506","https://openalex.org/W2012348391","https://openalex.org/W2023808162","https://openalex.org/W2026629052","https://openalex.org/W2029151451","https://openalex.org/W2032602169","https://openalex.org/W2033014924","https://openalex.org/W2034592322","https://openalex.org/W2035878287","https://openalex.org/W2040883471","https://openalex.org/W2041701185","https://openalex.org/W2043912048","https://openalex.org/W2060307524","https://openalex.org/W2062013241","https://openalex.org/W2067363566","https://openalex.org/W2068300951","https://openalex.org/W2071797744","https://openalex.org/W2074802943","https://openalex.org/W2077578897","https://openalex.org/W2097742256","https://openalex.org/W2102191448","https://openalex.org/W2108924513","https://openalex.org/W2117927826","https://openalex.org/W2121061989","https://openalex.org/W2125066119","https://openalex.org/W2131868750","https://openalex.org/W2134871878","https://openalex.org/W2136579724","https://openalex.org/W2139188286","https://openalex.org/W2139872812","https://openalex.org/W2147472153","https://openalex.org/W2147628469","https://openalex.org/W2151958719","https://openalex.org/W2152863619","https://openalex.org/W2159958244","https://openalex.org/W2160668141","https://openalex.org/W2165504642","https://openalex.org/W2166839364","https://openalex.org/W2169239645","https://openalex.org/W2183364741","https://openalex.org/W2295357975","https://openalex.org/W2323637477","https://openalex.org/W2326168224","https://openalex.org/W2361313718","https://openalex.org/W2395167098","https://openalex.org/W2410933284","https://openalex.org/W2471407520","https://openalex.org/W2522043470","https://openalex.org/W2525188040","https://openalex.org/W2526720582","https://openalex.org/W2547497993","https://openalex.org/W2551192623","https://openalex.org/W2563497056","https://openalex.org/W2610592248","https://openalex.org/W2614942566","https://openalex.org/W2740038983","https://openalex.org/W2783012334","https://openalex.org/W2792781634","https://openalex.org/W2796049347","https://openalex.org/W2808762350","https://openalex.org/W2808808949","https://openalex.org/W2808947987","https://openalex.org/W2809507729","https://openalex.org/W2810327191","https://openalex.org/W2811472820","https://openalex.org/W2922682149","https://openalex.org/W2953707904","https://openalex.org/W2963127582","https://openalex.org/W3102805872","https://openalex.org/W3139793816","https://openalex.org/W3149109633","https://openalex.org/W4254787961","https://openalex.org/W6604786916","https://openalex.org/W6604852155","https://openalex.org/W6636043029","https://openalex.org/W6636725810","https://openalex.org/W6637460460","https://openalex.org/W6639499025","https://openalex.org/W6653844587","https://openalex.org/W6668959476","https://openalex.org/W6682111526","https://openalex.org/W6683681806","https://openalex.org/W6692624450","https://openalex.org/W6745640962","https://openalex.org/W6777095389"],"related_works":[],"abstract_inverted_index":{"Mobile":[0],"and":[1,124,170,193,205,231],"general-purpose":[2],"robots":[3],"increasingly":[4],"support":[5],"everyday":[6],"life,":[7],"requiring":[8],"dependable":[9],"robotics":[10,191],"control":[11],"software.":[12],"Creating":[13],"such":[14,97],"software":[15],"mainly":[16],"amounts":[17],"to":[18,41,70,90,102,128,149,172],"implementing":[19],"complex":[20],"behaviors":[21],"known":[22,146],"as":[23,73,98],"missions.":[24],"Recognizing":[25],"this":[26],"need,":[27],"a":[28,80,108,198],"large":[29],"number":[30],"of":[31,48,110,200,210,235],"domain-specific":[32,85],"specification":[33,113,138,156],"languages":[34,86,96],"has":[35],"been":[36],"proposed.":[37],"These,":[38],"in":[39,157,165],"addition":[40],"traditional":[42],"logical":[43,62,95],"languages,":[44],"allow":[45],"the":[46,61,126,143,166,190],"use":[47,103],"formally":[49],"specified":[50],"missions":[51,72],"for":[52,76,115,121,136],"synthesis,":[53],"verification,":[54],"simulation":[55],"or":[56,178],"guiding":[57],"implementation.":[58],"For":[59],"instance,":[60],"language":[63],"LTL":[64,99,169],"is":[65],"commonly":[66],"used":[67,174],"by":[68,104,175],"experts":[69],"specify":[71],"an":[74],"input":[75],"planners,":[77,176],"which":[78],"synthesize":[79],"robot's":[81],"required":[82],"behavior.":[83],"Unfortunately,":[84],"are":[87,100,195],"usually":[88],"tied":[89],"specific":[91],"robot":[92],"models,":[93],"while":[94],"difficult":[101],"non-experts.":[105],"We":[106,223],"present":[107],"catalog":[109],"22":[111],"mission":[112,130,155,186,203,207],"patterns":[114,127,133,182],"mobile":[116],"robots,":[117],"together":[118],"with":[119,215,229],"tooling":[120,161],"instantiating,":[122],"composing,":[123],"compiling":[125],"create":[129],"specifications.":[131,208],"The":[132,181],"provide":[134],"solutions":[135],"recurrent":[137],"problems;":[139],"each":[140],"pattern":[141],"details":[142],"usage":[144],"intent,":[145],"uses,":[147],"relationships":[148],"other":[150],"patterns,":[151],"and\u2014most":[152],"importantly\u2014a":[153],"template":[154],"temporal":[158,167],"logic.":[159],"Our":[160],"produces":[162],"specifications":[163],"expressed":[164],"logics":[168],"CTL":[171],"be":[173],"simulators":[177,230],"model":[179],"checkers.":[180],"originate":[183],"from":[184,189],"245":[185],"requirements":[187,204],"extracted":[188],"literature,":[192],"they":[194],"evaluated":[196],"upon":[197],"total":[199],"441":[201],"real-world":[202],"1251":[206],"Five":[209],"these":[211],"reflect":[212],"scenarios":[213],"defined":[214],"two":[216,232],"well-known":[217],"industrial":[218],"partners":[219],"developing":[220],"human-size":[221],"robots.":[222,237],"further":[224],"validate":[225],"our":[226],"patterns\u2019":[227],"correctness":[228],"different":[233],"types":[234],"real":[236]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}