{"id":"https://openalex.org/W3207251292","doi":"https://doi.org/10.1109/icra48506.2021.9561807","title":"Reactive Task and Motion Planning under Temporal Logic Specifications","display_name":"Reactive Task and Motion Planning under Temporal Logic Specifications","publication_year":2021,"publication_date":"2021-05-30","ids":{"openalex":"https://openalex.org/W3207251292","doi":"https://doi.org/10.1109/icra48506.2021.9561807","mag":"3207251292"},"language":"en","primary_location":{"id":"doi:10.1109/icra48506.2021.9561807","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra48506.2021.9561807","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE International Conference on Robotics and Automation (ICRA)","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/A5100333325","display_name":"Shen Li","orcid":"https://orcid.org/0000-0002-8746-5438"},"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":"Shen Li","raw_affiliation_strings":["CSAIL, Massachusetts Institute of Technology, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CSAIL, Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074295573","display_name":"Daehyung Park","orcid":"https://orcid.org/0000-0002-1287-9433"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]},{"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":["KR","US"],"is_corresponding":false,"raw_author_name":"Daehyung Park","raw_affiliation_strings":["CSAIL, Massachusetts Institute of Technology, USA","School of Computing, Korea Advanced Institute of Science and Technology, Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CSAIL, Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"School of Computing, Korea Advanced Institute of Science and Technology, Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021197317","display_name":"Yoonchang Sung","orcid":"https://orcid.org/0000-0002-6811-1490"},"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":"Yoonchang Sung","raw_affiliation_strings":["CSAIL, Massachusetts Institute of Technology, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CSAIL, Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044369720","display_name":"Julie Shah","orcid":"https://orcid.org/0000-0003-1338-8107"},"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":"Julie A. Shah","raw_affiliation_strings":["CSAIL, Massachusetts Institute of Technology, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CSAIL, Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010817303","display_name":"Nicholas Roy","orcid":"https://orcid.org/0000-0002-8293-0492"},"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":"Nicholas Roy","raw_affiliation_strings":["CSAIL, Massachusetts Institute of Technology, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CSAIL, Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.5424,"has_fulltext":false,"cited_by_count":44,"citation_normalized_percentile":{"value":0.95922485,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"12618","last_page":"12624"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9995999932289124,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9995999932289124,"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.9994000196456909,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9962999820709229,"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/computer-science","display_name":"Computer science","score":0.775032639503479},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6676125526428223},{"id":"https://openalex.org/keywords/adversarial-system","display_name":"Adversarial system","score":0.6052413582801819},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.5316491723060608},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5150089263916016},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.49575528502464294},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.48868826031684875},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.47202104330062866},{"id":"https://openalex.org/keywords/route-planning","display_name":"Route planning","score":0.44126856327056885},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4291861355304718},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.3311271369457245},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3241298794746399},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.25037169456481934},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.22839507460594177},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11748534440994263},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.08090338110923767}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.775032639503479},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6676125526428223},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.6052413582801819},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.5316491723060608},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5150089263916016},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.49575528502464294},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.48868826031684875},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.47202104330062866},{"id":"https://openalex.org/C2989549987","wikidata":"https://www.wikidata.org/wiki/Q350882","display_name":"Route planning","level":2,"score":0.44126856327056885},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4291861355304718},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.3311271369457245},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3241298794746399},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25037169456481934},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.22839507460594177},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11748534440994263},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.08090338110923767},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"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/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icra48506.2021.9561807","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra48506.2021.9561807","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4163670459","display_name":null,"funder_award_id":"2021R1C1C1004368","funder_id":"https://openalex.org/F4320328359","funder_display_name":"Ministry of Science and ICT, South Korea"}],"funders":[{"id":"https://openalex.org/F4320306994","display_name":"Lockheed Martin","ror":"https://ror.org/026er9r08"},{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"},{"id":"https://openalex.org/F4320328359","display_name":"Ministry of Science and ICT, South Korea","ror":"https://ror.org/01wpjm123"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1563854815","https://openalex.org/W1964007137","https://openalex.org/W2032675177","https://openalex.org/W2035134636","https://openalex.org/W2074802943","https://openalex.org/W2092517048","https://openalex.org/W2094467916","https://openalex.org/W2119709400","https://openalex.org/W2141841102","https://openalex.org/W2144588269","https://openalex.org/W2151958719","https://openalex.org/W2167340365","https://openalex.org/W2171246729","https://openalex.org/W2468062401","https://openalex.org/W2735300570","https://openalex.org/W2765218414","https://openalex.org/W2769032251","https://openalex.org/W2771357155","https://openalex.org/W2784743256","https://openalex.org/W2963150697","https://openalex.org/W2967324402","https://openalex.org/W2984756091","https://openalex.org/W2984964364","https://openalex.org/W2990523276","https://openalex.org/W3003735829","https://openalex.org/W3022958460","https://openalex.org/W3098499184","https://openalex.org/W3103940950","https://openalex.org/W3145123113","https://openalex.org/W4232217679","https://openalex.org/W6658321654","https://openalex.org/W6668959476"],"related_works":["https://openalex.org/W2502115930","https://openalex.org/W2482350142","https://openalex.org/W4246396837","https://openalex.org/W3126451824","https://openalex.org/W1561927205","https://openalex.org/W3191453585","https://openalex.org/W4297672492","https://openalex.org/W4310988119","https://openalex.org/W2118356379","https://openalex.org/W4200371605"],"abstract_inverted_index":{"We":[0,39],"present":[1],"a":[2,9,41,88],"task-and-motion":[3],"planning":[4,44],"(TAMP)":[5],"algorithm":[6,71,86,100],"robust":[7],"against":[8],"human":[10],"operator's":[11],"cooperative":[12],"or":[13],"adversarial":[14],"interventions.":[15],"Interventions":[16],"often":[17,34],"invalidate":[18],"the":[19,26,56,79,99],"current":[20],"plan":[21],"and":[22,33,61,91,109],"require":[23],"replanning":[24,82],"on":[25],"fly.":[27],"Replanning":[28],"can":[29],"be":[30],"computationally":[31],"expensive":[32],"interrupts":[35],"seamless":[36],"task":[37],"execution.":[38],"introduce":[40],"dynamically":[42],"reconfigurable":[43],"methodology":[45],"with":[46],"behavior":[47],"tree-based":[48],"control":[49],"strategies":[50],"toward":[51],"reactive":[52,68],"TAMP,":[53],"which":[54],"takes":[55],"advantage":[57],"of":[58,81],"previous":[59],"plans":[60],"incremental":[62],"graph":[63],"search":[64],"during":[65],"temporal":[66],"logic-based":[67],"synthesis.":[69],"Our":[70,95],"also":[72],"shows":[73],"efficient":[74],"recovery":[75],"functionalities":[76],"that":[77],"minimize":[78],"number":[80],"steps.":[83],"Finally,":[84],"our":[85],"produces":[87],"robust,":[89],"efficient,":[90],"complete":[92],"TAMP":[93],"solution.":[94],"experimental":[96],"results":[97,101],"show":[98],"in":[102,106],"superior":[103],"manipulation":[104],"performance":[105],"both":[107],"simulated":[108],"real-world":[110],"tasks.":[111]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":12},{"year":2024,"cited_by_count":16},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":5}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}