{"id":"https://openalex.org/W3012575488","doi":"https://doi.org/10.1007/s00165-020-00509-0","title":"PuRSUE -from specification of robotic environments to synthesis of controllers","display_name":"PuRSUE -from specification of robotic environments to synthesis of controllers","publication_year":2020,"publication_date":"2020-03-23","ids":{"openalex":"https://openalex.org/W3012575488","doi":"https://doi.org/10.1007/s00165-020-00509-0","mag":"3012575488"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-020-00509-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-020-00509-0","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-020-00509-0","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-020-00509-0","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052125239","display_name":"Marcello M. Bersani","orcid":"https://orcid.org/0000-0001-5137-940X"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marcello M. Bersani","raw_affiliation_strings":["Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milan, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milan, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113898306","display_name":"Matteo Soldo","orcid":null},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Matteo Soldo","raw_affiliation_strings":["Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milan, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milan, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"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":["SnT - University of Luxembourg, Luxembourg, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SnT - University of Luxembourg, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"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/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]},{"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":["IT","SE"],"is_corresponding":false,"raw_author_name":"Patrizio Pelliccione","raw_affiliation_strings":["Chalmers | University of Gothenburg, Gothenburg, Sweden","University of L\u2019Aquila, L\u2019Aquila, Italy","Chalmers | University of Gothenburg, Gothenburg, Sweden University of L'Aquila, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chalmers | University of Gothenburg, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912","https://openalex.org/I881427289"]},{"raw_affiliation_string":"University of L\u2019Aquila, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Chalmers | University of Gothenburg, Gothenburg, Sweden University of L'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053","https://openalex.org/I66862912","https://openalex.org/I881427289"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088212295","display_name":"Matteo Rossi","orcid":"https://orcid.org/0000-0002-9193-9560"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Matteo Rossi","raw_affiliation_strings":["Dipartimento di Meccanica, Politecnico di Milano, Milan, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Meccanica, Politecnico di Milano, Milan, Italy","institution_ids":["https://openalex.org/I93860229"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":{"value":2780,"currency":"USD","value_usd":2780},"fwci":1.5211,"has_fulltext":true,"cited_by_count":21,"citation_normalized_percentile":{"value":0.86244217,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"32","issue":"2-3","first_page":"187","last_page":"227"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.995199978351593,"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.9950000047683716,"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.6719094514846802},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.6601815819740295},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6126747727394104},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.593200147151947},{"id":"https://openalex.org/keywords/robotic-paradigms","display_name":"Robotic paradigms","score":0.5925968289375305},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5309312343597412},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.49100688099861145},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.4872838258743286},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.464000403881073},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.4602119028568268},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.447290301322937},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.41332799196243286},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3753589391708374},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3371185064315796},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.29690104722976685},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18651330471038818},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14661672711372375}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6719094514846802},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.6601815819740295},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6126747727394104},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.593200147151947},{"id":"https://openalex.org/C60940618","wikidata":"https://www.wikidata.org/wiki/Q7353423","display_name":"Robotic paradigms","level":4,"score":0.5925968289375305},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5309312343597412},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.49100688099861145},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.4872838258743286},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.464000403881073},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.4602119028568268},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.447290301322937},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.41332799196243286},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3753589391708374},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3371185064315796},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.29690104722976685},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18651330471038818},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14661672711372375},{"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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/s00165-020-00509-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-020-00509-0","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-020-00509-0","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:re.public.polimi.it:11311/1135430","is_oa":true,"landing_page_url":"http://hdl.handle.net/11311/1135430","pdf_url":"http://hdl.handle.net/11311/1135430","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":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:aisberg.unibg.it:10446/237097","is_oa":true,"landing_page_url":"https://hdl.handle.net/10446/237097","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":"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:orbilu.uni.lu:10993/44704","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/44704","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":"Formal Aspects of Computing (2020-03-23)","raw_type":"http://purl.org/coar/resource_type/c_6501"},{"id":"pmh:oai:research.chalmers.se:516374","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/516374","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":null},{"id":"pmh:oai:research.chalmers.se:516945","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/0ba0129a-8726-470b-97c3-2f8579c372b5","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":null}],"best_oa_location":{"id":"doi:10.1007/s00165-020-00509-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-020-00509-0","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-020-00509-0","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4099999964237213}],"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/G275404224","display_name":null,"funder_award_id":"694277","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6290423655","display_name":null,"funder_award_id":"731869","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"},{"id":"https://openalex.org/G8705474127","display_name":"Testing the Untestable: Model Testing of Complex Software-Intensive Systems","funder_award_id":"694277","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320323421","display_name":"G\u00f6teborgs Universitet","ror":"https://ror.org/01tm6cn81"},{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3012575488.pdf","grobid_xml":"https://content.openalex.org/works/W3012575488.grobid-xml"},"referenced_works_count":62,"referenced_works":["https://openalex.org/W74636673","https://openalex.org/W109296386","https://openalex.org/W1514028771","https://openalex.org/W1548753397","https://openalex.org/W1560270123","https://openalex.org/W1569051713","https://openalex.org/W1599995366","https://openalex.org/W1862398452","https://openalex.org/W1897155338","https://openalex.org/W1957629191","https://openalex.org/W1962072139","https://openalex.org/W1977971680","https://openalex.org/W1981808971","https://openalex.org/W2001289891","https://openalex.org/W2004796166","https://openalex.org/W2059916956","https://openalex.org/W2086023301","https://openalex.org/W2092860912","https://openalex.org/W2101496930","https://openalex.org/W2101508170","https://openalex.org/W2102551313","https://openalex.org/W2104241409","https://openalex.org/W2106272197","https://openalex.org/W2121503011","https://openalex.org/W2128415126","https://openalex.org/W2136579724","https://openalex.org/W2139101939","https://openalex.org/W2151492375","https://openalex.org/W2158465936","https://openalex.org/W2169289043","https://openalex.org/W2171808413","https://openalex.org/W2179248321","https://openalex.org/W2244075056","https://openalex.org/W2274806495","https://openalex.org/W2343223723","https://openalex.org/W2461474081","https://openalex.org/W2493389545","https://openalex.org/W2525188040","https://openalex.org/W2526720582","https://openalex.org/W2548811769","https://openalex.org/W2578577156","https://openalex.org/W2733960105","https://openalex.org/W2746597156","https://openalex.org/W2750537158","https://openalex.org/W2771849109","https://openalex.org/W2784743256","https://openalex.org/W2807059453","https://openalex.org/W2808107970","https://openalex.org/W2808762350","https://openalex.org/W2808947987","https://openalex.org/W2809507729","https://openalex.org/W2811472820","https://openalex.org/W2909560462","https://openalex.org/W2912806430","https://openalex.org/W2953707904","https://openalex.org/W2955486192","https://openalex.org/W2967399733","https://openalex.org/W2973204678","https://openalex.org/W2974494763","https://openalex.org/W2977713273","https://openalex.org/W2980139972","https://openalex.org/W3101648496"],"related_works":["https://openalex.org/W2049851500","https://openalex.org/W4231821192","https://openalex.org/W92837840","https://openalex.org/W2131444840","https://openalex.org/W2789839425","https://openalex.org/W2019273059","https://openalex.org/W4246818843","https://openalex.org/W3033092441","https://openalex.org/W2548796344","https://openalex.org/W4313427962"],"abstract_inverted_index":{"Abstract":[0],"Developing":[1],"robotic":[2,18,32,55,59,74,127,181,214,236,244],"applications":[3,33,75,215,237,245],"is":[4,61,150,205,226],"a":[5,68,133,156,171,240],"complex":[6],"task,":[7],"which":[8,88,110],"requires":[9],"skills":[10],"that":[11,23,136,158,258],"are":[12,259,271],"usually":[13],"only":[14],"possessed":[15],"by":[16],"highly-qualified":[17],"developers.":[19],"While":[20],"formal":[21,233],"methods":[22],"help":[24],"developers":[25,114],"in":[26,43,106,115,179,217,228,231,246],"the":[27,44,51,54,58,82,101,116,140,142,183,193,196,218,232,253,266],"creation":[28],"and":[29,47,70,79,118,146,191,264],"design":[30,72,120],"of":[31,53,73,85,121,185,189,198,235,243,256],"exist,":[34],"they":[35],"must":[36],"be":[37,41],"explicitly":[38],"customized":[39],"to":[40,48,91,112,152,161,239,261],"impactful":[42],"robotics":[45],"domain":[46],"support":[49,113],"effectively":[50],"growth":[52],"market.":[56],"Specifically,":[57],"market":[60],"asking":[62],"for":[63,104,126,138],"techniques":[64],"that:":[65,223],"(i)":[66,224],"enable":[67,81],"systematic":[69,119],"rigorous":[71,117],"though":[76],"high-level":[77,122,134],"languages;":[78],"(ii)":[80,250],"automatic":[83,187,254],"synthesis":[84],"low-level":[86,247],"controllers,":[87,190],"allow":[89],"robots":[90,160],"achieve":[92,162],"their":[93,147,163],"missions.":[94,148],"To":[95],"address":[96],"these":[97],"problems":[98],"we":[99],"present":[100],"PuRSUE":[102,149,176,251,270],"(Planner":[103],"RobotS":[105],"Uncontrollable":[107],"Environments)":[108],"approach,":[109],"aims":[111],"run-time":[123],"control":[124],"strategies":[125],"applications.":[128],"The":[129,203,220],"approach":[130,194],"includes":[131],"PuRSUE-ML":[132,225],"language":[135],"allows":[137,159],"modeling":[139,180,234,248],"environment,":[141],"agents":[143],"deployed":[144,275],"therein,":[145],"able":[151],"check":[153],"automatically":[154],"whether":[155],"controller":[157],"missions":[164],"might":[165],"exist":[166],"and,":[167],"then,":[168],"it":[169],"synthesizes":[170],"controller.":[172],"We":[173],"evaluated":[174],"how":[175,192],"helps":[177],"designers":[178,230],"applications,":[182],"effectiveness":[184],"its":[186],"computation":[188],"supports":[195],"deployment":[197],"controllers":[199,257],"on":[200,207,276],"actual":[201,277],"robots.":[202,278],"evaluation":[204],"based":[206],"13":[208],"scenarios":[209],"derived":[210],"from":[211],"3":[212],"different":[213],"presented":[216],"literature.":[219],"results":[221],"show":[222],"effective":[227,273],"supporting":[229],"compared":[238],"direct":[241],"encoding":[242],"formalisms;":[249],"enables":[252],"generation":[255],"difficult":[260],"create":[262],"manually;":[263],"(iii)":[265],"plans":[267],"generated":[268],"with":[269],"indeed":[272],"when":[274]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2020-03-27T00:00:00"}