{"id":"https://openalex.org/W4308427772","doi":"https://doi.org/10.1109/icstcc55426.2022.9931878","title":"Distributing Co-safe LTL Specifications to Mobile Robots","display_name":"Distributing Co-safe LTL Specifications to Mobile Robots","publication_year":2022,"publication_date":"2022-10-19","ids":{"openalex":"https://openalex.org/W4308427772","doi":"https://doi.org/10.1109/icstcc55426.2022.9931878"},"language":"en","primary_location":{"id":"doi:10.1109/icstcc55426.2022.9931878","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icstcc55426.2022.9931878","pdf_url":null,"source":{"id":"https://openalex.org/S4363608485","display_name":"2022 26th International Conference on System Theory, Control and Computing (ICSTCC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 26th International Conference on System Theory, Control and Computing (ICSTCC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002142444","display_name":"Ioana Hustiu","orcid":null},"institutions":[{"id":"https://openalex.org/I4210108695","display_name":"Gheorghe Asachi Technical University of Ia\u0219i","ror":"https://ror.org/014zxnz40","country_code":"RO","type":"education","lineage":["https://openalex.org/I4210108695"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Ioana Hustiu","raw_affiliation_strings":["Faculty of Automatic Control and Control Engineering, “Technical University of Iasi,Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Automatic Control and Control Engineering, “Technical University of Iasi,Romania","institution_ids":["https://openalex.org/I4210108695"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085504277","display_name":"Cristian Mahulea","orcid":"https://orcid.org/0000-0003-0056-2225"},"institutions":[{"id":"https://openalex.org/I255234318","display_name":"Universidad de Zaragoza","ror":"https://ror.org/012a91z28","country_code":"ES","type":"education","lineage":["https://openalex.org/I255234318"]},{"id":"https://openalex.org/I4210132055","display_name":"Instituto de Nanociencia y Materiales de Arag\u00f3n","ror":"https://ror.org/031n2c920","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I255234318","https://openalex.org/I4210132055"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Cristian Mahulea","raw_affiliation_strings":["Aragon Institute of Engineering Research (I3A), University of Zaragoza,Spain","Aragon Institute of Engineering Research (I3A), University of Zaragoza, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aragon Institute of Engineering Research (I3A), University of Zaragoza,Spain","institution_ids":["https://openalex.org/I255234318","https://openalex.org/I4210132055"]},{"raw_affiliation_string":"Aragon Institute of Engineering Research (I3A), University of Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046534630","display_name":"Marius Kloetzer","orcid":"https://orcid.org/0000-0003-4338-0421"},"institutions":[{"id":"https://openalex.org/I4210108695","display_name":"Gheorghe Asachi Technical University of Ia\u0219i","ror":"https://ror.org/014zxnz40","country_code":"RO","type":"education","lineage":["https://openalex.org/I4210108695"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Marius Kloetzer","raw_affiliation_strings":["Faculty of Automatic Control and Control Engineering, “Technical University of Iasi,Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Automatic Control and Control Engineering, “Technical University of Iasi,Romania","institution_ids":["https://openalex.org/I4210108695"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"306","last_page":"311"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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.9991999864578247,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/linear-temporal-logic","display_name":"Linear temporal logic","score":0.7673875093460083},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6632179021835327},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.661504864692688},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.633140504360199},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.5544013977050781},{"id":"https://openalex.org/keywords/motion","display_name":"Motion (physics)","score":0.4602884352207184},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4404824376106262},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.4262315630912781},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42268940806388855},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.37927645444869995},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3521519601345062},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3313388228416443},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32142776250839233},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19276079535484314}],"concepts":[{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.7673875093460083},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6632179021835327},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.661504864692688},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.633140504360199},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.5544013977050781},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.4602884352207184},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4404824376106262},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.4262315630912781},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42268940806388855},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.37927645444869995},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3521519601345062},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3313388228416443},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32142776250839233},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19276079535484314},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icstcc55426.2022.9931878","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icstcc55426.2022.9931878","pdf_url":null,"source":{"id":"https://openalex.org/S4363608485","display_name":"2022 26th International Conference on System Theory, Control and Computing (ICSTCC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 26th International Conference on System Theory, Control and Computing (ICSTCC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.4000000059604645,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1424654272","https://openalex.org/W1498432697","https://openalex.org/W1521785144","https://openalex.org/W1991596047","https://openalex.org/W2056864430","https://openalex.org/W2059470663","https://openalex.org/W2071797744","https://openalex.org/W2086440639","https://openalex.org/W2129249765","https://openalex.org/W2343223723","https://openalex.org/W2594675090","https://openalex.org/W2804655496","https://openalex.org/W2994583186","https://openalex.org/W2998164266","https://openalex.org/W3107662019","https://openalex.org/W4243932450","https://openalex.org/W6672220034"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2077520193","https://openalex.org/W1513400763"],"abstract_inverted_index":{"This":[0],"work":[1],"considers":[2],"the":[3,65,90,94,97],"problem":[4],"of":[5,15,29,48,79,93],"decomposing":[6],"a":[7,13,38,51,87],"global":[8,98],"motion":[9],"specification":[10,34],"given":[11,36],"to":[12,75,83,86],"team":[14],"robots":[16],"into":[17],"parts":[18],"that":[19],"can":[20],"be":[21,76,84],"individually":[22],"followed":[23],"by":[24],"agents,":[25],"without":[26],"any":[27],"need":[28],"communication":[30],"among":[31,72],"them.":[32],"The":[33,56],"is":[35,59],"as":[37],"co-safe":[39],"Linear":[40],"Temporal":[41],"Logic":[42],"(LTL)":[43],"formula":[44],"over":[45],"some":[46,73],"regions":[47,74],"interest":[49],"from":[50],"known":[52],"and":[53,89],"static":[54],"environment.":[55],"main":[57],"contribution":[58],"an":[60],"algorithmic":[61],"method":[62],"for":[63],"distributing":[64],"specification,":[66],"while":[67],"identifying":[68],"necessary":[69],"sequencing":[70],"relations":[71],"visited.":[77],"Each":[78],"these":[80],"sequences":[81],"has":[82],"assigned":[85],"robot,":[88],"concurrent":[91],"movement":[92],"agents":[95],"accomplishes":[96],"imposed":[99],"mission.":[100]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}