{"id":"https://openalex.org/W7106340200","doi":"https://doi.org/10.1109/tase.2025.3636053","title":"Counting Time Temporal Logic for Multi-Robot Path Planning in Finite Horizons","display_name":"Counting Time Temporal Logic for Multi-Robot Path Planning in Finite Horizons","publication_year":2025,"publication_date":"2025-11-21","ids":{"openalex":"https://openalex.org/W7106340200","doi":"https://doi.org/10.1109/tase.2025.3636053"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2025.3636053","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2025.3636053","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Automation Science and Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zaguan.unizar.es/record/165558/files/texto_completo.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Peng Lv","orcid":"https://orcid.org/0000-0002-7113-1935"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peng Lv","raw_affiliation_strings":["School of Automation and Intelligent Sensing, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-7113-1935","affiliations":[{"raw_affiliation_string":"School of Automation and Intelligent Sensing, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Shaoyuan Li","orcid":"https://orcid.org/0000-0003-3427-2912"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shaoyuan Li","raw_affiliation_strings":["School of Automation and Intelligent Sensing, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-3427-2912","affiliations":[{"raw_affiliation_string":"School of Automation and Intelligent Sensing, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":null,"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"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Cristian Mahulea","raw_affiliation_strings":["Department of Computer Science and Systems Engineering, University of Zaragoza, Zaragoza, Spain"],"raw_orcid":"https://orcid.org/0000-0003-0056-2225","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Systems Engineering, University of Zaragoza, Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Bruno Denis","orcid":"https://orcid.org/0000-0002-0813-1158"},"institutions":[{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Bruno Denis","raw_affiliation_strings":["University Research Laboratory in Automated Production, ENS Paris-Saclay, University of Paris-Saclay, Paris, France"],"raw_orcid":"https://orcid.org/0000-0002-0813-1158","affiliations":[{"raw_affiliation_string":"University Research Laboratory in Automated Production, ENS Paris-Saclay, University of Paris-Saclay, Paris, France","institution_ids":["https://openalex.org/I277688954"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Gregory Faraut","orcid":"https://orcid.org/0000-0003-0388-932X"},"institutions":[{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gregory Faraut","raw_affiliation_strings":["University Research Laboratory in Automated Production, ENS Paris-Saclay, University of Paris-Saclay, Paris, France"],"raw_orcid":"https://orcid.org/0000-0003-0388-932X","affiliations":[{"raw_affiliation_string":"University Research Laboratory in Automated Production, ENS Paris-Saclay, University of Paris-Saclay, Paris, France","institution_ids":["https://openalex.org/I277688954"]}]},{"author_position":"last","author":{"id":null,"display_name":"Xiang Yin","orcid":"https://orcid.org/0000-0003-1944-1570"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiang Yin","raw_affiliation_strings":["School of Automation and Intelligent Sensing, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-1944-1570","affiliations":[{"raw_affiliation_string":"School of Automation and Intelligent Sensing, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.54572533,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"23","issue":null,"first_page":"3145","last_page":"3155"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.4772999882698059,"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.4772999882698059,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.3084000051021576,"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"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.04899999871850014,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.833899974822998},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.755299985408783},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5899999737739563},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.5246000289916992},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5092999935150146},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.4902999997138977},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4900999963283539},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.4212999939918518}],"concepts":[{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.833899974822998},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.755299985408783},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.671999990940094},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5899999737739563},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.5246000289916992},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5092999935150146},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.4902999997138977},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4900999963283539},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4571000039577484},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.4212999939918518},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4065999984741211},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.3953999876976013},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.358599990606308},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3499000072479248},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.34689998626708984},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.32749998569488525},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.3174000084400177},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.31310001015663147},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.303600013256073},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.2928999960422516},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.2854999899864197},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.28380000591278076},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28040000796318054},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.27239999175071716},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.26899999380111694},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.25049999356269836}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tase.2025.3636053","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2025.3636053","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Automation Science and Engineering","raw_type":"journal-article"},{"id":"pmh:oai:zaguan.unizar.es:165558","is_oa":true,"landing_page_url":"http://zaguan.unizar.es/record/165558","pdf_url":"https://zaguan.unizar.es/record/165558/files/texto_completo.pdf","source":{"id":"https://openalex.org/S4306402461","display_name":"Zaguan (Universidad de Zaragoza)","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":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:zaguan.unizar.es:165558","is_oa":true,"landing_page_url":"http://zaguan.unizar.es/record/165558","pdf_url":"https://zaguan.unizar.es/record/165558/files/texto_completo.pdf","source":{"id":"https://openalex.org/S4306402461","display_name":"Zaguan (Universidad de Zaragoza)","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":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"score":0.4434199631214142,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[{"id":"https://openalex.org/G1622782223","display_name":null,"funder_award_id":"MCIN/AEI/10","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G1625642672","display_name":null,"funder_award_id":"N62909-24-1-2081","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G1903741479","display_name":null,"funder_award_id":"62573291","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2262748287","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3480869486","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3681454997","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4042783231","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G451917667","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G5751649387","display_name":null,"funder_award_id":"62173226","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5967599077","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G7084143925","display_name":null,"funder_award_id":"AEI/10","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7266728691","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7411164083","display_name":null,"funder_award_id":"62188101","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8687669111","display_name":null,"funder_award_id":"N62909-24-1-2081","funder_id":"https://openalex.org/F4320338298","funder_display_name":"Office of Naval Research Global"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338298","display_name":"Office of Naval Research Global","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7106340200.pdf","grobid_xml":"https://content.openalex.org/works/W7106340200.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0,16],"this":[1,60],"paper,":[2],"we":[3,62,101,134,145,186],"consider":[4],"multi-robot":[5],"path":[6,98],"planning":[7,99],"problems":[8],"for":[9],"high-level":[10],"tasks":[11,91],"with":[12,191],"a":[13,21,30,64,159,164,188],"finite":[14],"horizon.":[15],"many":[17,28],"situations,":[18],"there":[19],"is":[20,32,51,118],"need":[22],"to":[23,36,109,150,169,178],"<italic":[24,70],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[25,71],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">count":[26],"how":[27],"times</i>":[29],"sub-task":[31],"satisfied":[33],"in":[34,54],"order":[35],"achieve":[37],"the":[38,85,96,139,152,155,171,174,180],"overall":[39],"task.":[40],"However,":[41],"existing":[42],"temporal":[43,49,66,80],"logic":[44,67,81],"languages,":[45],"such":[46,56,131],"as":[47],"linear":[48,79,106],"logic,":[50],"not":[52],"efficient":[53,104],"describing":[55],"requirements.":[57,132],"To":[58,94,141],"address":[59],"issue,":[61],"propose":[63,102],"new":[65],"language":[68],"called":[69],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Counting":[72],"Time":[73],"Temporal":[74],"Logic</i>":[75],"(CTTL)":[76],"that":[77,89,115],"extends":[78],"by":[82],"explicitly":[83],"counting":[84],"number":[86],"of":[87,130,138,154,163,166,173,183],"times":[88],"some":[90],"are":[92],"satisfied.":[93],"solve":[95],"CTTL":[97],"problem,":[100],"an":[103],"integer":[105],"programming-based":[107],"method":[108],"encode":[110],"task":[111],"satisfaction.":[112],"We":[113],"show":[114,151],"our":[116,143,184],"approach":[117,157],"both":[119],"sound":[120],"and":[121,158],"complete,":[122],"while":[123],"achieving":[124],"higher":[125],"efficiency":[126],"than":[127],"direct":[128],"encodings":[129],"Moreover,":[133],"study":[135,162],"several":[136,147],"variants":[137],"problem.":[140],"validate":[142],"results,":[144],"present":[146],"numerical":[148],"experiments":[149],"scalability":[153],"proposed":[156],"simulation":[160],"case":[161],"team":[165],"autonomous":[167],"robots":[168],"illustrate":[170],"feasibility":[172,182],"synthesis":[175],"procedure.":[176],"Finally,":[177],"evaluate":[179],"real-world":[181],"method,":[185],"conduct":[187],"hardware":[189],"experiment":[190],"two":[192],"Turtlebot3-Burger":[193],"mobile":[194],"robots.":[195]},"counts_by_year":[],"updated_date":"2026-07-18T07:39:51.176621","created_date":"2025-11-23T00:00:00"}