{"id":"https://openalex.org/W2942899565","doi":"https://doi.org/10.1177/0278364919846340","title":"Control in belief space with temporal logic specifications using vision-based localization","display_name":"Control in belief space with temporal logic specifications using vision-based localization","publication_year":2019,"publication_date":"2019-04-28","ids":{"openalex":"https://openalex.org/W2942899565","doi":"https://doi.org/10.1177/0278364919846340","mag":"2942899565"},"language":"en","primary_location":{"id":"doi:10.1177/0278364919846340","is_oa":false,"landing_page_url":"https://doi.org/10.1177/0278364919846340","pdf_url":null,"source":{"id":"https://openalex.org/S73484101","display_name":"The International Journal of Robotics Research","issn_l":"0278-3649","issn":["0278-3649","1741-3176"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The International Journal of Robotics Research","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/A5088911621","display_name":"Kevin Leahy","orcid":"https://orcid.org/0000-0001-5894-7190"},"institutions":[{"id":"https://openalex.org/I4210122954","display_name":"MIT Lincoln Laboratory","ror":"https://ror.org/022z6jk58","country_code":"US","type":"facility","lineage":["https://openalex.org/I4210122954","https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kevin Leahy","raw_affiliation_strings":["MIT Lincoln Laboratory, USA"],"raw_orcid":"https://orcid.org/0000-0001-5894-7190","affiliations":[{"raw_affiliation_string":"MIT Lincoln Laboratory, USA","institution_ids":["https://openalex.org/I4210122954"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079200757","display_name":"Eric Cristofalo","orcid":"https://orcid.org/0000-0003-1712-4600"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eric Cristofalo","raw_affiliation_strings":["Stanford University, USA"],"raw_orcid":"https://orcid.org/0000-0003-1712-4600","affiliations":[{"raw_affiliation_string":"Stanford University, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086654963","display_name":"Cristian-Ioan Vasile","orcid":"https://orcid.org/0000-0002-1132-1462"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cristian-Ioan Vasile","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"raw_orcid":"https://orcid.org/0000-0002-1132-1462","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103266699","display_name":"Austin Jones","orcid":"https://orcid.org/0000-0003-0680-1477"},"institutions":[{"id":"https://openalex.org/I4210122954","display_name":"MIT Lincoln Laboratory","ror":"https://ror.org/022z6jk58","country_code":"US","type":"facility","lineage":["https://openalex.org/I4210122954","https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Austin Jones","raw_affiliation_strings":["MIT Lincoln Laboratory, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MIT Lincoln Laboratory, USA","institution_ids":["https://openalex.org/I4210122954"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010149148","display_name":"Eduardo Montijano","orcid":"https://orcid.org/0000-0002-5176-3767"},"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":"Eduardo Montijano","raw_affiliation_strings":["Universidad de Zaragoza, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad de Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081950488","display_name":"Mac Schwager","orcid":"https://orcid.org/0000-0002-7871-3663"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mac Schwager","raw_affiliation_strings":["Stanford University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford University, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086742095","display_name":"C\u0103lin Belta","orcid":"https://orcid.org/0000-0002-7141-2657"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Calin Belta","raw_affiliation_strings":["Boston University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boston University, USA","institution_ids":["https://openalex.org/I111088046"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5088911621"],"corresponding_institution_ids":["https://openalex.org/I4210122954"],"apc_list":null,"apc_paid":null,"fwci":1.0206,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.8054422,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"38","issue":"6","first_page":"702","last_page":"722"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9998000264167786,"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/T10191","display_name":"Robotics and Sensor-Based Localization","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9944000244140625,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6852530241012573},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.5935036540031433},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5932595133781433},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5421174764633179},{"id":"https://openalex.org/keywords/ground-truth","display_name":"Ground truth","score":0.5356922149658203},{"id":"https://openalex.org/keywords/simultaneous-localization-and-mapping","display_name":"Simultaneous localization and mapping","score":0.45794931054115295},{"id":"https://openalex.org/keywords/unmanned-ground-vehicle","display_name":"Unmanned ground vehicle","score":0.42535486817359924},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.36009934544563293},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2818642556667328},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.2816048860549927}],"concepts":[{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6852530241012573},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.5935036540031433},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5932595133781433},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5421174764633179},{"id":"https://openalex.org/C146849305","wikidata":"https://www.wikidata.org/wiki/Q370766","display_name":"Ground truth","level":2,"score":0.5356922149658203},{"id":"https://openalex.org/C86369673","wikidata":"https://www.wikidata.org/wiki/Q1203659","display_name":"Simultaneous localization and mapping","level":4,"score":0.45794931054115295},{"id":"https://openalex.org/C2776548393","wikidata":"https://www.wikidata.org/wiki/Q2031473","display_name":"Unmanned ground vehicle","level":2,"score":0.42535486817359924},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.36009934544563293},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2818642556667328},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.2816048860549927}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1177/0278364919846340","is_oa":false,"landing_page_url":"https://doi.org/10.1177/0278364919846340","pdf_url":null,"source":{"id":"https://openalex.org/S73484101","display_name":"The International Journal of Robotics Research","issn_l":"0278-3649","issn":["0278-3649","1741-3176"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The International Journal of Robotics Research","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6200000047683716}],"awards":[{"id":"https://openalex.org/G250197321","display_name":null,"funder_award_id":"CNS-1330008","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3104659876","display_name":null,"funder_award_id":"NRI-1426907","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3526003910","display_name":null,"funder_award_id":"CMMI-1400167","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6422918487","display_name":null,"funder_award_id":"N00014- 12-1-1000","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6787032201","display_name":null,"funder_award_id":"DPI2015-69376-R","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"},{"id":"https://openalex.org/G7711666034","display_name":null,"funder_award_id":"IIS-1350904","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321837","display_name":"Ministerio de Econom\u00eda y Competitividad","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W47556920","https://openalex.org/W170770739","https://openalex.org/W297039922","https://openalex.org/W1176413013","https://openalex.org/W1424654272","https://openalex.org/W1496379919","https://openalex.org/W1526980041","https://openalex.org/W1971086298","https://openalex.org/W1971812294","https://openalex.org/W1980848756","https://openalex.org/W1988097133","https://openalex.org/W2002201291","https://openalex.org/W2016316334","https://openalex.org/W2032100464","https://openalex.org/W2045811332","https://openalex.org/W2047671935","https://openalex.org/W2053833381","https://openalex.org/W2055688322","https://openalex.org/W2061372038","https://openalex.org/W2063718256","https://openalex.org/W2069065333","https://openalex.org/W2073548775","https://openalex.org/W2077245982","https://openalex.org/W2082965709","https://openalex.org/W2084726594","https://openalex.org/W2098432798","https://openalex.org/W2103052138","https://openalex.org/W2104241562","https://openalex.org/W2104969271","https://openalex.org/W2105934661","https://openalex.org/W2117539524","https://openalex.org/W2123432765","https://openalex.org/W2132004142","https://openalex.org/W2132022337","https://openalex.org/W2135505309","https://openalex.org/W2139996173","https://openalex.org/W2152671441","https://openalex.org/W2167805536","https://openalex.org/W2168359464","https://openalex.org/W2168992242","https://openalex.org/W2289025432","https://openalex.org/W2328033575","https://openalex.org/W2381901500","https://openalex.org/W2543779454","https://openalex.org/W2559655401","https://openalex.org/W2571161957","https://openalex.org/W2788785353"],"related_works":["https://openalex.org/W2011003748","https://openalex.org/W4295532600","https://openalex.org/W2063823869","https://openalex.org/W2047973478","https://openalex.org/W2067569035","https://openalex.org/W3187621569","https://openalex.org/W2989564752","https://openalex.org/W2907848307","https://openalex.org/W3200676397","https://openalex.org/W2613162932"],"abstract_inverted_index":{"We":[0,118],"present":[1],"a":[2,6,43,47,55,93,120,125,154,162,209,230,234,239,242],"solution":[3,29],"for":[4,34,46,180,244],"operating":[5],"vehicle":[7,49,61],"without":[8],"global":[9],"positioning":[10],"infrastructure":[11],"while":[12,65],"satisfying":[13],"constraints":[14,190],"on":[15,20],"its":[16,24,68],"temporal":[17,108,187],"behavior,":[18],"and":[19,53,110,132,188,215,238],"the":[21,59,63,79,83,115,129,139,150,158,181,192,197,202,217],"uncertainty":[22,189],"of":[23,82,103,141,157,164],"position":[25],"estimate.":[26],"The":[27,86,177,220],"proposed":[28,221],"is":[30,74,90,184,223],"an":[31,36,101],"end-to-end":[32],"framework":[33],"mapping":[35],"unknown":[37],"environment":[38,159],"using":[39,54,92,225],"aerial":[40,165,211],"vehicles,":[41],"synthesizing":[42],"control":[44,69,178,203],"policy":[45,179,204],"ground":[48,60,84,87,182,198,218,236],"in":[50,78,128,167],"that":[51,106,213],"environment,":[52],"quadrotor":[56,240],"to":[57,123,137,228],"localize":[58,149],"within":[62],"map":[64,156],"it":[66],"executes":[67],"policy.":[70],"This":[71],"vision-based":[72],"localization":[73],"noisy,":[75],"necessitating":[76],"planning":[77],"belief":[80,130,145],"space":[81,131,146],"robot.":[85,219],"robot\u2019s":[88],"mission":[89],"given":[91,191,205],"language":[94],"called":[95],"Gaussian":[96],"Distribution":[97],"Temporal":[98],"Logic":[99],"(GDTL),":[100],"extension":[102],"Boolean":[104],"logic":[105],"incorporates":[107],"evolution":[109],"noise":[111],"mitigation":[112],"directly":[113],"into":[114],"task":[116],"specifications.":[117],"use":[119,133],"sampling-based":[121],"algorithm":[122],"generate":[124],"transition":[126],"system":[127],"local":[134],"feedback":[135],"controllers":[136],"break":[138],"curse":[140],"history":[142],"associated":[143],"with":[144,169,241],"planning.":[147],"To":[148],"vehicle,":[151],"we":[152],"build":[153,229],"high-resolution":[155],"by":[160,173,233],"flying":[161],"team":[163],"vehicles":[166],"formation":[168],"sensor":[170],"information":[171],"provided":[172],"their":[174],"onboard":[175],"cameras.":[176],"robot":[183,199,212,237],"synthesized":[185],"under":[186],"semantically":[193],"labeled":[194],"map.":[195],"Then":[196],"can":[200],"execute":[201],"pose":[206],"estimates":[207],"from":[208],"dedicated":[210],"tracks":[214],"localizes":[216],"method":[222],"validated":[224],"two":[226],"quadrotors":[227],"map,":[231],"followed":[232],"two-wheeled":[235],"camera":[243],"ten":[245],"successful":[246],"experimental":[247],"trials.":[248]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}