{"id":"https://openalex.org/W4401415231","doi":"https://doi.org/10.1109/icra57147.2024.10610874","title":"Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications","display_name":"Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications","publication_year":2024,"publication_date":"2024-05-13","ids":{"openalex":"https://openalex.org/W4401415231","doi":"https://doi.org/10.1109/icra57147.2024.10610874"},"language":"en","primary_location":{"id":"doi:10.1109/icra57147.2024.10610874","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra57147.2024.10610874","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 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/A5022512002","display_name":"Pian Yu","orcid":"https://orcid.org/0000-0001-6046-7129"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I4210146410","display_name":"Science Oxford","ror":"https://ror.org/04j8yhy50","country_code":"GB","type":"nonprofit","lineage":["https://openalex.org/I4210146410"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Pian Yu","raw_affiliation_strings":["University of Oxford,Department of Computer Science,Oxford,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford,Department of Computer Science,Oxford,United Kingdom","institution_ids":["https://openalex.org/I40120149","https://openalex.org/I4210146410"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109643808","display_name":"Shuyang Dong","orcid":null},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shuyang Dong","raw_affiliation_strings":["University of Virginia,School of Engineering,United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Virginia,School of Engineering,United States","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002868004","display_name":"Shili Sheng","orcid":"https://orcid.org/0000-0002-4491-5398"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shili Sheng","raw_affiliation_strings":["University of Virginia,School of Engineering,United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Virginia,School of Engineering,United States","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100415348","display_name":"Feng Lu","orcid":"https://orcid.org/0000-0003-3933-8490"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lu Feng","raw_affiliation_strings":["University of Virginia,School of Engineering,United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Virginia,School of Engineering,United States","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081710233","display_name":"Marta Kwiatkowska","orcid":"https://orcid.org/0000-0001-9022-7599"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I4210146410","display_name":"Science Oxford","ror":"https://ror.org/04j8yhy50","country_code":"GB","type":"nonprofit","lineage":["https://openalex.org/I4210146410"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Marta Kwiatkowska","raw_affiliation_strings":["University of Oxford,Department of Computer Science,Oxford,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford,Department of Computer Science,Oxford,United Kingdom","institution_ids":["https://openalex.org/I40120149","https://openalex.org/I4210146410"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":7.9889,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.98319273,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"12949","last_page":"12955"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13382","display_name":"Robotics and Automated Systems","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13382","display_name":"Robotics and Automated Systems","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9948999881744385,"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.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/computer-science","display_name":"Computer science","score":0.7320152521133423},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6302472352981567},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5900200009346008},{"id":"https://openalex.org/keywords/motion","display_name":"Motion (physics)","score":0.55076664686203},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.533456563949585},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.48321831226348877},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.46390530467033386},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4434208273887634},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.10671275854110718}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7320152521133423},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6302472352981567},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5900200009346008},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.55076664686203},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.533456563949585},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.48321831226348877},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.46390530467033386},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4434208273887634},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.10671275854110718}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icra57147.2024.10610874","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra57147.2024.10610874","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1534114040","https://openalex.org/W1636455720","https://openalex.org/W1967769980","https://openalex.org/W1980848756","https://openalex.org/W1996295354","https://openalex.org/W2051493878","https://openalex.org/W2099430963","https://openalex.org/W2162408846","https://openalex.org/W2171084228","https://openalex.org/W2332079078","https://openalex.org/W2411577903","https://openalex.org/W2735511423","https://openalex.org/W2783963507","https://openalex.org/W2889123676","https://openalex.org/W2913258601","https://openalex.org/W2960127036","https://openalex.org/W2997350486","https://openalex.org/W3012435612","https://openalex.org/W3123858477","https://openalex.org/W3143852283","https://openalex.org/W4224017274","https://openalex.org/W4238869533","https://openalex.org/W4243342770","https://openalex.org/W4293771970","https://openalex.org/W4294237869","https://openalex.org/W4296913591","https://openalex.org/W4392633917","https://openalex.org/W6636732284","https://openalex.org/W6678559280","https://openalex.org/W6684973485","https://openalex.org/W6748187689","https://openalex.org/W6776194005"],"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":{"Recent":[0],"work":[1],"has":[2],"considered":[3],"trust-aware":[4],"decision":[5,58],"making":[6],"for":[7,62,146],"human-robot":[8],"collaboration":[9],"(HRC)":[10],"with":[11,164,207,213],"a":[12,86,122,165,170,217],"focus":[13],"on":[14,216],"model":[15],"learning.":[16],"In":[17],"this":[18,140],"paper,":[19],"we":[20,50,75,142,154,191],"are":[21],"interested":[22],"in":[23,46,109],"enabling":[24],"the":[25,52,64,72,126,133,148,156,162,177,183,187,194,221,224],"HRC":[26],"system":[27],"to":[28,77],"complete":[29],"complex":[30],"tasks":[31],"specified":[32],"using":[33],"temporal":[34,83],"logic":[35,84,87],"formulas":[36],"that":[37,88,193],"involve":[38],"human":[39,44],"trust.":[40],"Since":[41],"accurately":[42],"observing":[43],"trust":[45],"robots":[47],"is":[48,89,174],"challenging,":[49],"adopt":[51],"widely":[53],"used":[54],"partially":[55,101],"observable":[56,102],"Markov":[57],"process":[59],"(POMDP)":[60],"framework":[61],"modelling":[63],"interactions":[65],"between":[66,176],"humans":[67],"and":[68,182],"robots.":[69],"To":[70,138],"specify":[71],"desired":[73],"behaviour,":[74],"propose":[76],"use":[78],"syntactically":[79],"co-safe":[80],"linear":[81],"distribution":[82],"(scLDTL),":[85],"defined":[90],"over":[91,132],"predicates":[92,108,128],"of":[93,100,106,186,223],"states":[94,99],"as":[95,97,125],"well":[96],"belief":[98,107,127,136,157,172,180],"systems.":[103],"The":[104],"incorporation":[105],"scLDTL":[110,188],"enhances":[111],"its":[112],"expressiveness":[113],"while":[114],"simultaneously":[115],"introducing":[116],"added":[117],"complexity.":[118],"This":[119],"also":[120],"presents":[121],"new":[123],"challenge":[124],"must":[129],"be":[130,198],"evaluated":[131],"continuous":[134],"(infinite)":[135],"space.":[137],"address":[139],"challenge,":[141],"present":[143],"an":[144],"algorithm":[145],"solving":[147],"optimal":[149,195],"policy":[150,196],"synthesis":[151],"problem.":[152],"First,":[153],"enhance":[155],"MDP":[158,173,181],"(derived":[159],"by":[160,200],"reformulating":[161],"POMDP)":[163],"probabilistic":[166],"labelling":[167],"function.":[168],"Then":[169],"product":[171],"constructed":[175],"probabilistically":[178],"labelled":[179],"automaton":[184],"translation":[185],"formula.":[189],"Finally,":[190],"show":[192],"can":[197],"obtained":[199],"leveraging":[201],"existing":[202],"point-based":[203],"value":[204],"iteration":[205],"algorithms":[206],"essential":[208],"modifications.":[209],"Human":[210],"subject":[211],"experiments":[212],"21":[214],"participants":[215],"driving":[218],"simulator":[219],"demonstrate":[220],"effectiveness":[222],"proposed":[225],"approach.":[226]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}