{"id":"https://openalex.org/W3176904019","doi":"https://doi.org/10.1109/tro.2022.3144073","title":"Perception-Based Temporal Logic Planning in Uncertain Semantic Maps","display_name":"Perception-Based Temporal Logic Planning in Uncertain Semantic Maps","publication_year":2022,"publication_date":"2022-02-09","ids":{"openalex":"https://openalex.org/W3176904019","doi":"https://doi.org/10.1109/tro.2022.3144073","mag":"3176904019"},"language":"en","primary_location":{"id":"doi:10.1109/tro.2022.3144073","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tro.2022.3144073","pdf_url":null,"source":{"id":"https://openalex.org/S144620930","display_name":"IEEE Transactions on Robotics","issn_l":"1552-3098","issn":["1552-3098","1941-0468"],"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 Robotics","raw_type":"journal-article"},"type":"article","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/A5014874021","display_name":"Yiannis Kantaros","orcid":"https://orcid.org/0000-0002-0257-7378"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yiannis Kantaros","raw_affiliation_strings":["Department of Computer and Information Science and the Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA","Department of Electrical and Systems Engineering, Washington University in St. Louis, St. Louis, MO, USA"],"raw_orcid":"https://orcid.org/0000-0002-0257-7378","affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science and the Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"Department of Electrical and Systems Engineering, Washington University in St. Louis, St. Louis, MO, USA","institution_ids":["https://openalex.org/I204465549"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061121073","display_name":"Samarth Kalluraya","orcid":"https://orcid.org/0000-0001-9942-7562"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samarth Kalluraya","raw_affiliation_strings":["Department of Computer and Information Science and the Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA","Department of Electrical and Systems Engineering, Washington University in St. Louis, St. Louis, MO, USA"],"raw_orcid":"https://orcid.org/0000-0001-9942-7562","affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science and the Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"Department of Electrical and Systems Engineering, Washington University in St. Louis, St. Louis, MO, USA","institution_ids":["https://openalex.org/I204465549"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Qi Jin","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qi Jin","raw_affiliation_strings":["Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029243115","display_name":"George J. Pappas","orcid":"https://orcid.org/0000-0001-9081-0637"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"George J. Pappas","raw_affiliation_strings":["Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":"https://orcid.org/0000-0001-9081-0637","affiliations":[{"raw_affiliation_string":"Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.9943,"has_fulltext":false,"cited_by_count":41,"citation_normalized_percentile":{"value":0.95682993,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":"38","issue":"4","first_page":"2536","last_page":"2556"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9987999796867371,"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.998199999332428,"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.7124141454696655},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6968170404434204},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6733758449554443},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6556559801101685},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6207300424575806},{"id":"https://openalex.org/keywords/perception","display_name":"Perception","score":0.585045576095581},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5838474035263062},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5001847743988037},{"id":"https://openalex.org/keywords/semantic-mapping","display_name":"Semantic mapping","score":0.46506837010383606},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32829996943473816},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14205363392829895}],"concepts":[{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.7124141454696655},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6968170404434204},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6733758449554443},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6556559801101685},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6207300424575806},{"id":"https://openalex.org/C26760741","wikidata":"https://www.wikidata.org/wiki/Q160402","display_name":"Perception","level":2,"score":0.585045576095581},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5838474035263062},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5001847743988037},{"id":"https://openalex.org/C2775955345","wikidata":"https://www.wikidata.org/wiki/Q7449071","display_name":"Semantic mapping","level":2,"score":0.46506837010383606},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32829996943473816},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14205363392829895},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","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":1,"locations":[{"id":"doi:10.1109/tro.2022.3144073","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tro.2022.3144073","pdf_url":null,"source":{"id":"https://openalex.org/S144620930","display_name":"IEEE Transactions on Robotics","issn_l":"1552-3098","issn":["1552-3098","1941-0468"],"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 Robotics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.4699999988079071,"display_name":"Sustainable cities and communities"}],"awards":[{"id":"https://openalex.org/G8586329510","display_name":null,"funder_award_id":"FA8750-18-C-0090","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"}],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"},{"id":"https://openalex.org/F4320338295","display_name":"Army Research Laboratory","ror":"https://ror.org/011hc8f90"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":87,"referenced_works":["https://openalex.org/W138443365","https://openalex.org/W639708223","https://openalex.org/W1424654272","https://openalex.org/W1498432697","https://openalex.org/W1499948104","https://openalex.org/W1512705201","https://openalex.org/W1562003885","https://openalex.org/W1601373402","https://openalex.org/W1970269621","https://openalex.org/W1970733706","https://openalex.org/W1970927851","https://openalex.org/W1971086298","https://openalex.org/W1980848756","https://openalex.org/W2002548850","https://openalex.org/W2004620590","https://openalex.org/W2049399166","https://openalex.org/W2073548775","https://openalex.org/W2074802943","https://openalex.org/W2077245982","https://openalex.org/W2077578897","https://openalex.org/W2078151802","https://openalex.org/W2079042739","https://openalex.org/W2082965709","https://openalex.org/W2094467916","https://openalex.org/W2100674251","https://openalex.org/W2101496914","https://openalex.org/W2116647221","https://openalex.org/W2117927826","https://openalex.org/W2124623089","https://openalex.org/W2130422193","https://openalex.org/W2134312936","https://openalex.org/W2141789581","https://openalex.org/W2142414682","https://openalex.org/W2162991084","https://openalex.org/W2163941698","https://openalex.org/W2171266831","https://openalex.org/W2226453522","https://openalex.org/W2232251213","https://openalex.org/W2235884325","https://openalex.org/W2236968622","https://openalex.org/W2269865921","https://openalex.org/W2343223723","https://openalex.org/W2381901500","https://openalex.org/W2465948386","https://openalex.org/W2511015524","https://openalex.org/W2554009248","https://openalex.org/W2567705466","https://openalex.org/W2569030807","https://openalex.org/W2736666525","https://openalex.org/W2739423245","https://openalex.org/W2784322399","https://openalex.org/W2790514337","https://openalex.org/W2889123676","https://openalex.org/W2909882608","https://openalex.org/W2913325211","https://openalex.org/W2913459036","https://openalex.org/W2939915443","https://openalex.org/W2963037989","https://openalex.org/W2963117388","https://openalex.org/W2963708205","https://openalex.org/W2964162338","https://openalex.org/W2964212410","https://openalex.org/W2967029387","https://openalex.org/W2967828032","https://openalex.org/W2969749685","https://openalex.org/W3004360048","https://openalex.org/W3011250830","https://openalex.org/W3021964239","https://openalex.org/W3023191323","https://openalex.org/W3048348667","https://openalex.org/W3089935474","https://openalex.org/W3090386798","https://openalex.org/W3091670144","https://openalex.org/W3105174872","https://openalex.org/W3108549307","https://openalex.org/W3113605944","https://openalex.org/W3116623932","https://openalex.org/W3132278055","https://openalex.org/W3136316167","https://openalex.org/W3141505394","https://openalex.org/W3151793825","https://openalex.org/W3153757777","https://openalex.org/W4225554077","https://openalex.org/W4242441073","https://openalex.org/W4388297583","https://openalex.org/W6693880307","https://openalex.org/W6739651123"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W2763487042","https://openalex.org/W3021103820","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2077520193","https://openalex.org/W3035590440"],"abstract_inverted_index":{"In":[0],"this":[1],"article,":[2],"we":[3,95],"address":[4],"a":[5,21,97,130,146],"multi-robot":[6],"planning":[7,119,162],"problem":[8,120],"in":[9],"environments":[10],"with":[11,35,68],"partially":[12],"unknown":[13],"semantics.":[14],"The":[15,116],"environment":[16],"is":[17,60],"assumed":[18],"to":[19,28,45,61,123,143,145,155],"have":[20],"known":[22],"geometric":[23],"structure":[24],"(e.g.,":[25],"walls)":[26],"and":[27,38,55,92],"be":[29],"occupied":[30],"by":[31,51,80,129],"static":[32],"labeled":[33],"landmarks":[34],"uncertain":[36,47],"positions":[37],"classes.":[39],"This":[40],"modeling":[41,112],"approach":[42],"gives":[43,121],"rise":[44,122],"an":[46,124],"semantic":[48,52,149],"map":[49],"generated":[50],"simultaneous":[53],"localization":[54],"mapping":[56],"algorithms.":[57],"Our":[58],"goal":[59],"design":[62],"control":[63,126,137],"policies":[64,138],"for":[65,90],"robots":[66],"equipped":[67],"noisy":[69],"perception":[70],"systems":[71],"so":[72],"that":[73,88,134,139],"they":[74],"can":[75],"accomplish":[76],"collaborative":[77],"tasks":[78],"captured":[79],"global":[81],"temporal":[82,101],"logic":[83,102],"specifications.":[84],"To":[85],"specify":[86],"missions":[87],"account":[89],"environmental":[91],"perceptual":[93],"uncertainty,":[94],"employ":[96],"fragment":[98],"of":[99,159],"linear":[100],"(LTL),":[103],"called":[104],"co-safe":[105],"LTL,":[106],"defined":[107],"over":[108],"perception-based":[109,117],"atomic":[110],"predicates":[111],"probabilistic":[113],"satisfaction":[114],"requirements.":[115],"LTL":[118],"optimal":[125],"problem,":[127],"solved":[128],"novel":[131],"sampling-based":[132],"algorithm,":[133],"generates":[135],"open-loop":[136],"are":[140],"updated":[141],"online":[142],"adapt":[144],"continuously":[147],"learned":[148],"map.":[150],"We":[151],"provide":[152],"extensive":[153],"experiments":[154],"demonstrate":[156],"the":[157,160],"efficiency":[158],"proposed":[161],"architecture.":[163]},"counts_by_year":[{"year":2026,"cited_by_count":5},{"year":2025,"cited_by_count":11},{"year":2024,"cited_by_count":10},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}