{"id":"https://openalex.org/W4313291141","doi":"https://doi.org/10.1109/tse.2022.3230059","title":"Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties","display_name":"Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties","publication_year":2022,"publication_date":"2022-12-29","ids":{"openalex":"https://openalex.org/W4313291141","doi":"https://doi.org/10.1109/tse.2022.3230059"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2022.3230059","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tse.2022.3230059","pdf_url":"https://ieeexplore.ieee.org/ielx7/32/10103953/10002712.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ieeexplore.ieee.org/ielx7/32/10103953/10002712.pdf","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/I118564535","display_name":"University of Bern","ror":"https://ror.org/02k7v4d05","country_code":"CH","type":"education","lineage":["https://openalex.org/I118564535"]},{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]},{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]},{"id":"https://openalex.org/I67530263","display_name":"Denso (United States)","ror":"https://ror.org/02w314k38","country_code":"US","type":"company","lineage":["https://openalex.org/I4210132650","https://openalex.org/I67530263"]},{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA","CH","GB","IT","US"],"is_corresponding":true,"raw_author_name":"Claudio Menghi","raw_affiliation_strings":["McMaster University, Hamilton, ON, Canada","405 31 Gothenburg, Swe-den","Gran Sasso Science Institute (GSSI), 67100 L'Aquila, AQ, Italy","University of Bern, 3012 Bern, Switzerland","University of York, YO10 5DD York, U.K","Askarpour are with McMaster Univer-sity, Hamilton, ON L8S 4L8, Canada"],"affiliations":[{"raw_affiliation_string":"McMaster University, Hamilton, ON, Canada","institution_ids":["https://openalex.org/I98251732"]},{"raw_affiliation_string":"405 31 Gothenburg, Swe-den","institution_ids":["https://openalex.org/I67530263"]},{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), 67100 L'Aquila, AQ, Italy","institution_ids":["https://openalex.org/I4210150763"]},{"raw_affiliation_string":"University of Bern, 3012 Bern, Switzerland","institution_ids":["https://openalex.org/I118564535"]},{"raw_affiliation_string":"University of York, YO10 5DD York, U.K","institution_ids":["https://openalex.org/I52099693"]},{"raw_affiliation_string":"Askarpour are with McMaster Univer-sity, Hamilton, ON L8S 4L8, Canada","institution_ids":["https://openalex.org/I98251732"]}]},{"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/I118564535","display_name":"University of Bern","ror":"https://ror.org/02k7v4d05","country_code":"CH","type":"education","lineage":["https://openalex.org/I118564535"]},{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]},{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]},{"id":"https://openalex.org/I67530263","display_name":"Denso (United States)","ror":"https://ror.org/02w314k38","country_code":"US","type":"company","lineage":["https://openalex.org/I4210132650","https://openalex.org/I67530263"]},{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA","CH","GB","IT","US"],"is_corresponding":false,"raw_author_name":"Christos Tsigkanos","raw_affiliation_strings":["University of Bern, Bern, Switzerland","Askarpour are with McMaster Univer-sity, Hamilton, ON L8S 4L8, Canada","University of Bern, 3012 Bern, Switzerland","University of York, YO10 5DD York, U.K","405 31 Gothenburg, Swe-den","Gran Sasso Science Institute (GSSI), 67100 L'Aquila, AQ, Italy"],"affiliations":[{"raw_affiliation_string":"University of Bern, Bern, Switzerland","institution_ids":["https://openalex.org/I118564535"]},{"raw_affiliation_string":"Askarpour are with McMaster Univer-sity, Hamilton, ON L8S 4L8, Canada","institution_ids":["https://openalex.org/I98251732"]},{"raw_affiliation_string":"University of Bern, 3012 Bern, Switzerland","institution_ids":["https://openalex.org/I118564535"]},{"raw_affiliation_string":"University of York, YO10 5DD York, U.K","institution_ids":["https://openalex.org/I52099693"]},{"raw_affiliation_string":"405 31 Gothenburg, Swe-den","institution_ids":["https://openalex.org/I67530263"]},{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), 67100 L'Aquila, AQ, Italy","institution_ids":["https://openalex.org/I4210150763"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070230511","display_name":"Mehrnoosh Askarpour","orcid":"https://orcid.org/0000-0001-6526-2544"},"institutions":[{"id":"https://openalex.org/I118564535","display_name":"University of Bern","ror":"https://ror.org/02k7v4d05","country_code":"CH","type":"education","lineage":["https://openalex.org/I118564535"]},{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]},{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]},{"id":"https://openalex.org/I67530263","display_name":"Denso (United States)","ror":"https://ror.org/02w314k38","country_code":"US","type":"company","lineage":["https://openalex.org/I4210132650","https://openalex.org/I67530263"]},{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA","CH","GB","IT","US"],"is_corresponding":false,"raw_author_name":"Mehrnoosh Askarpour","raw_affiliation_strings":["McMaster University, Hamilton, ON, Canada","University of Bern, 3012 Bern, Switzerland","Askarpour are with McMaster Univer-sity, Hamilton, ON L8S 4L8, Canada","Gran Sasso Science Institute (GSSI), 67100 L'Aquila, AQ, Italy","405 31 Gothenburg, Swe-den","University of York, YO10 5DD York, U.K"],"affiliations":[{"raw_affiliation_string":"McMaster University, Hamilton, ON, Canada","institution_ids":["https://openalex.org/I98251732"]},{"raw_affiliation_string":"University of Bern, 3012 Bern, Switzerland","institution_ids":["https://openalex.org/I118564535"]},{"raw_affiliation_string":"Askarpour are with McMaster Univer-sity, Hamilton, ON L8S 4L8, Canada","institution_ids":["https://openalex.org/I98251732"]},{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), 67100 L'Aquila, AQ, Italy","institution_ids":["https://openalex.org/I4210150763"]},{"raw_affiliation_string":"405 31 Gothenburg, Swe-den","institution_ids":["https://openalex.org/I67530263"]},{"raw_affiliation_string":"University of York, YO10 5DD York, U.K","institution_ids":["https://openalex.org/I52099693"]}]},{"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/I118564535","display_name":"University of Bern","ror":"https://ror.org/02k7v4d05","country_code":"CH","type":"education","lineage":["https://openalex.org/I118564535"]},{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]},{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]},{"id":"https://openalex.org/I67530263","display_name":"Denso (United States)","ror":"https://ror.org/02w314k38","country_code":"US","type":"company","lineage":["https://openalex.org/I4210132650","https://openalex.org/I67530263"]},{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA","CH","GB","IT","US"],"is_corresponding":false,"raw_author_name":"Patrizio Pelliccione","raw_affiliation_strings":["Gran Sasso Science Institute (GSSI), L&#x0027;Aquila, AQ, Italy","Gran Sasso Science Institute (GSSI), 67100 L'Aquila, AQ, Italy","University of York, YO10 5DD York, U.K","University of Bern, 3012 Bern, Switzerland","Askarpour are with McMaster Univer-sity, Hamilton, ON L8S 4L8, Canada","405 31 Gothenburg, Swe-den"],"affiliations":[{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), L&#x0027;Aquila, AQ, Italy","institution_ids":["https://openalex.org/I4210150763"]},{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), 67100 L'Aquila, AQ, Italy","institution_ids":["https://openalex.org/I4210150763"]},{"raw_affiliation_string":"University of York, YO10 5DD York, U.K","institution_ids":["https://openalex.org/I52099693"]},{"raw_affiliation_string":"University of Bern, 3012 Bern, Switzerland","institution_ids":["https://openalex.org/I118564535"]},{"raw_affiliation_string":"Askarpour are with McMaster Univer-sity, Hamilton, ON L8S 4L8, Canada","institution_ids":["https://openalex.org/I98251732"]},{"raw_affiliation_string":"405 31 Gothenburg, Swe-den","institution_ids":["https://openalex.org/I67530263"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043504806","display_name":"Gricel V\u00e1zquez","orcid":"https://orcid.org/0000-0003-4886-5567"},"institutions":[{"id":"https://openalex.org/I118564535","display_name":"University of Bern","ror":"https://ror.org/02k7v4d05","country_code":"CH","type":"education","lineage":["https://openalex.org/I118564535"]},{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]},{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]},{"id":"https://openalex.org/I67530263","display_name":"Denso (United States)","ror":"https://ror.org/02w314k38","country_code":"US","type":"company","lineage":["https://openalex.org/I4210132650","https://openalex.org/I67530263"]},{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA","CH","GB","IT","US"],"is_corresponding":false,"raw_author_name":"Gricel V\u00e1zquez","raw_affiliation_strings":["University of York, York, U.K","Gran Sasso Science Institute (GSSI), 67100 L'Aquila, AQ, Italy","Askarpour are with McMaster Univer-sity, Hamilton, ON L8S 4L8, Canada","University of Bern, 3012 Bern, Switzerland","405 31 Gothenburg, Swe-den","University of York, YO10 5DD York, U.K"],"affiliations":[{"raw_affiliation_string":"University of York, York, U.K","institution_ids":["https://openalex.org/I52099693"]},{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), 67100 L'Aquila, AQ, Italy","institution_ids":["https://openalex.org/I4210150763"]},{"raw_affiliation_string":"Askarpour are with McMaster Univer-sity, Hamilton, ON L8S 4L8, Canada","institution_ids":["https://openalex.org/I98251732"]},{"raw_affiliation_string":"University of Bern, 3012 Bern, Switzerland","institution_ids":["https://openalex.org/I118564535"]},{"raw_affiliation_string":"405 31 Gothenburg, Swe-den","institution_ids":["https://openalex.org/I67530263"]},{"raw_affiliation_string":"University of York, YO10 5DD York, U.K","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011374280","display_name":"Radu C\u0103linescu","orcid":"https://orcid.org/0000-0002-2678-9260"},"institutions":[{"id":"https://openalex.org/I118564535","display_name":"University of Bern","ror":"https://ror.org/02k7v4d05","country_code":"CH","type":"education","lineage":["https://openalex.org/I118564535"]},{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]},{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]},{"id":"https://openalex.org/I67530263","display_name":"Denso (United States)","ror":"https://ror.org/02w314k38","country_code":"US","type":"company","lineage":["https://openalex.org/I4210132650","https://openalex.org/I67530263"]},{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA","CH","GB","IT","US"],"is_corresponding":false,"raw_author_name":"Radu Calinescu","raw_affiliation_strings":["University of York, York, U.K","Gran Sasso Science Institute (GSSI), 67100 L'Aquila, AQ, Italy","405 31 Gothenburg, Swe-den","University of York, YO10 5DD York, U.K","University of Bern, 3012 Bern, Switzerland","Askarpour are with McMaster Univer-sity, Hamilton, ON L8S 4L8, Canada"],"affiliations":[{"raw_affiliation_string":"University of York, York, U.K","institution_ids":["https://openalex.org/I52099693"]},{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), 67100 L'Aquila, AQ, Italy","institution_ids":["https://openalex.org/I4210150763"]},{"raw_affiliation_string":"405 31 Gothenburg, Swe-den","institution_ids":["https://openalex.org/I67530263"]},{"raw_affiliation_string":"University of York, YO10 5DD York, U.K","institution_ids":["https://openalex.org/I52099693"]},{"raw_affiliation_string":"University of Bern, 3012 Bern, Switzerland","institution_ids":["https://openalex.org/I118564535"]},{"raw_affiliation_string":"Askarpour are with McMaster Univer-sity, Hamilton, ON L8S 4L8, Canada","institution_ids":["https://openalex.org/I98251732"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024130923","display_name":"Sergio Garc\u00eda","orcid":"https://orcid.org/0000-0001-7369-2480"},"institutions":[{"id":"https://openalex.org/I118564535","display_name":"University of Bern","ror":"https://ror.org/02k7v4d05","country_code":"CH","type":"education","lineage":["https://openalex.org/I118564535"]},{"id":"https://openalex.org/I1340210623","display_name":"Volvo (Sweden)","ror":"https://ror.org/05b6ypc36","country_code":"SE","type":"company","lineage":["https://openalex.org/I1340210623"]},{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]},{"id":"https://openalex.org/I4387153628","display_name":"Volvo Cars (Sweden)","ror":"https://ror.org/005n5zv88","country_code":null,"type":"company","lineage":["https://openalex.org/I4210153393","https://openalex.org/I4387153628"]},{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]},{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA","CH","GB","IT","SE"],"is_corresponding":false,"raw_author_name":"Sergio Garc\u00eda","raw_affiliation_strings":["Volvo Cars Corporation, Gothenburg, Sweden","University of Bern, 3012 Bern, Switzerland","Askarpour are with McMaster Univer-sity, Hamilton, ON L8S 4L8, Canada","Gran Sasso Science Institute (GSSI), 67100 L'Aquila, AQ, Italy","University of York, YO10 5DD York, U.K"],"affiliations":[{"raw_affiliation_string":"Volvo Cars Corporation, Gothenburg, Sweden","institution_ids":["https://openalex.org/I1340210623","https://openalex.org/I4387153628"]},{"raw_affiliation_string":"University of Bern, 3012 Bern, Switzerland","institution_ids":["https://openalex.org/I118564535"]},{"raw_affiliation_string":"Askarpour are with McMaster Univer-sity, Hamilton, ON L8S 4L8, Canada","institution_ids":["https://openalex.org/I98251732"]},{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), 67100 L'Aquila, AQ, Italy","institution_ids":["https://openalex.org/I4210150763"]},{"raw_affiliation_string":"University of York, YO10 5DD York, U.K","institution_ids":["https://openalex.org/I52099693"]}]}],"institutions":[],"countries_distinct_count":6,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5018466538"],"corresponding_institution_ids":["https://openalex.org/I118564535","https://openalex.org/I4210150763","https://openalex.org/I52099693","https://openalex.org/I67530263","https://openalex.org/I98251732"],"apc_list":null,"apc_paid":null,"fwci":1.9613,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.88269091,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"49","issue":"4","first_page":"2741","last_page":"2760"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9984999895095825,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8169489502906799},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5122625231742859},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.4949190020561218},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3944726884365082},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.39027681946754456},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1963564157485962}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8169489502906799},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5122625231742859},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.4949190020561218},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3944726884365082},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.39027681946754456},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1963564157485962}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tse.2022.3230059","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tse.2022.3230059","pdf_url":"https://ieeexplore.ieee.org/ielx7/32/10103953/10002712.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:aisberg.unibg.it:10446/237194","is_oa":true,"landing_page_url":"https://hdl.handle.net/10446/237194","pdf_url":"https://aisberg.unibg.it/bitstream/10446/237194/1/10002712.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:eprints.whiterose.ac.uk:194149","is_oa":true,"landing_page_url":null,"pdf_url":"https://eprints.whiterose.ac.uk/id/eprint/194149/1/IEEE_TSE_2022.pdf","source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"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":"PeerReviewed"},{"id":"pmh:oai:re.public.polimi.it:11311/1280347","is_oa":true,"landing_page_url":"https://hdl.handle.net/11311/1280347","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1109/tse.2022.3230059","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tse.2022.3230059","pdf_url":"https://ieeexplore.ieee.org/ielx7/32/10103953/10002712.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Zero hunger","id":"https://metadata.un.org/sdg/2","score":0.6000000238418579}],"awards":[{"id":"https://openalex.org/G1304196372","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G1597412403","display_name":null,"funder_award_id":"RGPIN-","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G2165548363","display_name":null,"funder_award_id":"Canada","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G2862252062","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G3081380025","display_name":null,"funder_award_id":"project","funder_id":"https://openalex.org/F4320321739","funder_display_name":"Consejo Nacional de Ciencia y Tecnolog\u00eda"},{"id":"https://openalex.org/G400116904","display_name":null,"funder_award_id":"unknow","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G5017117203","display_name":null,"funder_award_id":"EP/V026747/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G54800691","display_name":null,"funder_award_id":"04622","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G5536939483","display_name":null,"funder_award_id":"DGECR-","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G6221715925","display_name":null,"funder_award_id":"RGPIN","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G7104007207","display_name":null,"funder_award_id":"DGECR-2022-0040","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G8105784103","display_name":null,"funder_award_id":"RGPIN-202","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G8284766523","display_name":null,"funder_award_id":"(NSERC)","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G8707758390","display_name":null,"funder_award_id":"RGPIN-2022-04622","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320321739","display_name":"Consejo Nacional de Ciencia y Tecnolog\u00eda","ror":"https://ror.org/059ex5q34"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4313291141.pdf","grobid_xml":"https://content.openalex.org/works/W4313291141.grobid-xml"},"referenced_works_count":103,"referenced_works":["https://openalex.org/W27074392","https://openalex.org/W109296386","https://openalex.org/W217151948","https://openalex.org/W1498125516","https://openalex.org/W1562533727","https://openalex.org/W1612453857","https://openalex.org/W1663973292","https://openalex.org/W1672041297","https://openalex.org/W1862398452","https://openalex.org/W1887751578","https://openalex.org/W1905633610","https://openalex.org/W1957629191","https://openalex.org/W1971845040","https://openalex.org/W1976004406","https://openalex.org/W1991223177","https://openalex.org/W1991596047","https://openalex.org/W1996832037","https://openalex.org/W2000818954","https://openalex.org/W2004796166","https://openalex.org/W2005998857","https://openalex.org/W2016225482","https://openalex.org/W2023314929","https://openalex.org/W2023808162","https://openalex.org/W2032602169","https://openalex.org/W2033014924","https://openalex.org/W2035878287","https://openalex.org/W2037818108","https://openalex.org/W2060307524","https://openalex.org/W2067363566","https://openalex.org/W2068300951","https://openalex.org/W2071797744","https://openalex.org/W2072073129","https://openalex.org/W2074802943","https://openalex.org/W2077578897","https://openalex.org/W2096210507","https://openalex.org/W2096598450","https://openalex.org/W2131868750","https://openalex.org/W2134991157","https://openalex.org/W2136579724","https://openalex.org/W2139188286","https://openalex.org/W2146044140","https://openalex.org/W2147472153","https://openalex.org/W2147628469","https://openalex.org/W2151958719","https://openalex.org/W2152863619","https://openalex.org/W2164096878","https://openalex.org/W2166839364","https://openalex.org/W2209913494","https://openalex.org/W2243696877","https://openalex.org/W2291637985","https://openalex.org/W2416117881","https://openalex.org/W2416427529","https://openalex.org/W2418907377","https://openalex.org/W2471407520","https://openalex.org/W2525188040","https://openalex.org/W2571546473","https://openalex.org/W2591473830","https://openalex.org/W2740038983","https://openalex.org/W2780836902","https://openalex.org/W2786744768","https://openalex.org/W2803413084","https://openalex.org/W2808590845","https://openalex.org/W2808947987","https://openalex.org/W2811472820","https://openalex.org/W2884095124","https://openalex.org/W2890511739","https://openalex.org/W2892110232","https://openalex.org/W2898400492","https://openalex.org/W2901630465","https://openalex.org/W2910239470","https://openalex.org/W2912198824","https://openalex.org/W2912538055","https://openalex.org/W2930266512","https://openalex.org/W2953707904","https://openalex.org/W2962826218","https://openalex.org/W2967399733","https://openalex.org/W2973204678","https://openalex.org/W2977713273","https://openalex.org/W2980139972","https://openalex.org/W2988952354","https://openalex.org/W3006891948","https://openalex.org/W3044775127","https://openalex.org/W3091435513","https://openalex.org/W3092626702","https://openalex.org/W3113301275","https://openalex.org/W3115878638","https://openalex.org/W3130787872","https://openalex.org/W3139793816","https://openalex.org/W3149321043","https://openalex.org/W3161324927","https://openalex.org/W3168346701","https://openalex.org/W3173557204","https://openalex.org/W3178067170","https://openalex.org/W4206428962","https://openalex.org/W4246913434","https://openalex.org/W4254787961","https://openalex.org/W6600358712","https://openalex.org/W6629910019","https://openalex.org/W6635556004","https://openalex.org/W6636725810","https://openalex.org/W6752134119","https://openalex.org/W6753339696","https://openalex.org/W7034413774"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2122871747","https://openalex.org/W3114279067"],"abstract_inverted_index":{"With":[0],"many":[1],"applications":[2],"across":[3],"domains":[4],"as":[5,7],"diverse":[6],"logistics,":[8],"healthcare,":[9],"and":[10,38,45,120,131,157,185,203,257],"agriculture,":[11],"service":[12],"robots":[13,24],"are":[14,166],"in":[15,31,152,168],"increasingly":[16],"high":[17],"demand.":[18],"Nevertheless,":[19],"the":[20,57,64,76,84,89,118,126,145,178,187,211,220,226,250],"designers":[21],"of":[22,47,60,66,78,86,91,107,124,136,147,181,189,206,213,222,225,236,240,252],"these":[23,190],"often":[25],"struggle":[26],"with":[27],"specifying":[28,125],"their":[29,200],"tasks":[30],"a":[32,87,105,141,169,232],"way":[33],"that":[34,116,143,217],"is":[35],"both":[36],"human-understandable":[37],"sufficiently":[39],"precise":[40,179],"to":[41,99],"enable":[42],"automated":[43,204],"verification":[44,202,253],"planning":[46,205],"robotic":[48,61,79,137,207,228],"missions.":[49,138,208],"Recent":[50],"research":[51,149,238],"has":[52],"addressed":[53],"this":[54],"problem":[55],"for":[56,82,249],"functional":[58],"aspects":[59],"missions":[62,80],"through":[63,254],"use":[65],"<italic":[67,108],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[68,109],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">mission":[69],"specification":[70,221],"patterns</i>":[71,114],".":[72],"These":[73],"patterns":[74,165],"support":[75],"definition":[77,180],"involving,":[81],"instance,":[83],"patrolling":[85],"perimeter,":[88],"avoidance":[90],"unsafe":[92],"locations":[93],"within":[94],"an":[95],"area,":[96],"or":[97],"reacting":[98],"specific":[100],"events.":[101],"Our":[102],"article":[103],"introduces":[104],"catalog":[106],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">QUantitAtive":[110],"RoboTic":[111],"mission":[112,229,258],"spEcificaTion":[113],"(QUARTET)":[115],"tackles":[117],"complementary":[119],"equally":[121],"important":[122],"challenge":[123],"reliability,":[127],"performance,":[128],"resource":[129],"usage,":[130],"other":[132],"key":[133],"quantitative":[134,182,227],"properties":[135],"Identified":[139],"using":[140],"methodology":[142],"included":[144],"analysis":[146],"73":[148],"papers":[150],"published":[151],"17":[153],"leading":[154],"software":[155],"engineering":[156],"robotics":[158],"venues":[159],"between":[160],"2014\u20132021,":[161],"our":[162],"22":[163],"QUARTET":[164,175,214],"defined":[167],"tool-supported":[170],"domain-specific":[171],"language.":[172],"As":[173],"such,":[174],"enables:":[176],"(i)":[177],"robotic-mission":[183],"requirements":[184,191,230],"(ii)":[186],"translation":[188],"into":[192,247],"probabilistic":[193],"reward":[194],"computation":[195],"tree":[196],"logic":[197],"(PRCTL),":[198],"supporting":[199],"formal":[201],"We":[209],"demonstrate":[210],"applicability":[212],"by":[215],"showing":[216],"it":[218],"supports":[219],"over":[223],"95%":[224],"from":[231],"systematically":[233],"selected":[234],"set":[235],"recent":[237],"papers,":[239],"which":[241],"75%":[242],"can":[243],"be":[244],"automatically":[245],"translated":[246],"PRCTL":[248],"purposes":[251],"model":[255],"checking":[256],"planning.":[259]},"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":1}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}