{"id":"https://openalex.org/W4383109307","doi":"https://doi.org/10.1109/icra48891.2023.10160692","title":"Efficient Inference of Temporal Task Specifications from Human Demonstrations using Experiment Design","display_name":"Efficient Inference of Temporal Task Specifications from Human Demonstrations using Experiment Design","publication_year":2023,"publication_date":"2023-05-29","ids":{"openalex":"https://openalex.org/W4383109307","doi":"https://doi.org/10.1109/icra48891.2023.10160692"},"language":"en","primary_location":{"id":"doi:10.1109/icra48891.2023.10160692","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icra48891.2023.10160692","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 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/A5032549401","display_name":"Shlok Sobti","orcid":"https://orcid.org/0000-0002-7852-8484"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shlok Sobti","raw_affiliation_strings":["Rice University,Department of Computer Science","Department of Computer Science, Rice University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rice University,Department of Computer Science","institution_ids":["https://openalex.org/I74775410"]},{"raw_affiliation_string":"Department of Computer Science, Rice University","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076976011","display_name":"Rahul Shome","orcid":"https://orcid.org/0000-0002-1689-9220"},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]},{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["AU","US"],"is_corresponding":false,"raw_author_name":"Rahul Shome","raw_affiliation_strings":["Rice University,Department of Computer Science","Department of Computer Science, Rice University","School of Computing, Australian National University, Canberra"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rice University,Department of Computer Science","institution_ids":["https://openalex.org/I74775410"]},{"raw_affiliation_string":"Department of Computer Science, Rice University","institution_ids":["https://openalex.org/I74775410"]},{"raw_affiliation_string":"School of Computing, Australian National University, Canberra","institution_ids":["https://openalex.org/I118347636"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067205988","display_name":"Lydia E. Kavraki","orcid":"https://orcid.org/0000-0003-0699-8038"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lydia E. Kavraki","raw_affiliation_strings":["Rice University,Department of Computer Science","Department of Computer Science, Rice University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rice University,Department of Computer Science","institution_ids":["https://openalex.org/I74775410"]},{"raw_affiliation_string":"Department of Computer Science, Rice University","institution_ids":["https://openalex.org/I74775410"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2178,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.41134297,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"abs 2003 2232","issue":null,"first_page":"9764","last_page":"9770"},"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.9984999895095825,"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.9984999895095825,"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.9958000183105469,"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/T10653","display_name":"Robot Manipulation and Learning","score":0.9943000078201294,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7918635010719299},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.725040078163147},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6937532424926758},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.5384935736656189},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.529948353767395},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5256558656692505},{"id":"https://openalex.org/keywords/bayesian-inference","display_name":"Bayesian inference","score":0.47457054257392883},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.4492987394332886},{"id":"https://openalex.org/keywords/ground-truth","display_name":"Ground truth","score":0.4244700074195862},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.414336621761322},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.39384666085243225}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7918635010719299},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.725040078163147},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6937532424926758},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5384935736656189},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.529948353767395},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5256558656692505},{"id":"https://openalex.org/C160234255","wikidata":"https://www.wikidata.org/wiki/Q812535","display_name":"Bayesian inference","level":3,"score":0.47457054257392883},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.4492987394332886},{"id":"https://openalex.org/C146849305","wikidata":"https://www.wikidata.org/wiki/Q370766","display_name":"Ground truth","level":2,"score":0.4244700074195862},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.414336621761322},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.39384666085243225},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icra48891.2023.10160692","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icra48891.2023.10160692","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2692256933","display_name":"RI: Small: A Novel Framework for Informed Manipulation Planning","funder_award_id":"2008720","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"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W68693810","https://openalex.org/W218896052","https://openalex.org/W263845233","https://openalex.org/W1498432697","https://openalex.org/W1563854815","https://openalex.org/W1754243990","https://openalex.org/W1969483458","https://openalex.org/W1970269621","https://openalex.org/W2000359213","https://openalex.org/W2023808162","https://openalex.org/W2045958967","https://openalex.org/W2128990851","https://openalex.org/W2144588269","https://openalex.org/W2158582431","https://openalex.org/W2217402295","https://openalex.org/W2753034999","https://openalex.org/W2794922736","https://openalex.org/W2887933419","https://openalex.org/W2889713213","https://openalex.org/W2964111087","https://openalex.org/W2965569070","https://openalex.org/W2966289416","https://openalex.org/W2994446013","https://openalex.org/W2999910018","https://openalex.org/W3035703386","https://openalex.org/W3038945966","https://openalex.org/W3039865636","https://openalex.org/W3101830905","https://openalex.org/W3133693890","https://openalex.org/W3133984573","https://openalex.org/W4200043122","https://openalex.org/W4294578500","https://openalex.org/W4297787004","https://openalex.org/W6609746230","https://openalex.org/W6633696205","https://openalex.org/W6637731308","https://openalex.org/W6754526278","https://openalex.org/W6767171472","https://openalex.org/W6774590752","https://openalex.org/W6791684492","https://openalex.org/W6791752291","https://openalex.org/W6796372990","https://openalex.org/W6804615446"],"related_works":["https://openalex.org/W2020176575","https://openalex.org/W2372267530","https://openalex.org/W2969189870","https://openalex.org/W2965643117","https://openalex.org/W4303857162","https://openalex.org/W2407375987","https://openalex.org/W3049691116","https://openalex.org/W2505726097","https://openalex.org/W2010643158","https://openalex.org/W2106867672"],"abstract_inverted_index":{"Robotic":[0],"deployments":[1],"in":[2,164],"human":[3,141,173],"environments":[4,69,103],"have":[5,42],"motivated":[6],"the":[7,62,78,85,110,113,121,126,157],"need":[8],"for":[9,70,112,149],"autonomous":[10],"systems":[11],"to":[12,15,30,47,67,72,83,100,125],"be":[13,28],"able":[14],"interact":[16],"with":[17,37,90,143],"humans":[18,71],"and":[19,160,168],"solve":[20],"tasks":[21,26,151],"effectively.":[22],"Human":[23],"demonstrations":[24,81,145],"of":[25,56,64,80,116,128,131,166],"can":[27],"used":[29],"infer":[31],"underlying":[32],"task":[33],"specifications,":[34],"commonly":[35],"modeled":[36],"temporal":[38,50],"logic.":[39],"State-of-the-art":[40],"methods":[41],"developed":[43],"Bayesian":[44],"inference":[45],"tools":[46],"estimate":[48,84],"a":[49,54,153],"logic":[51],"formula":[52,89],"from":[53,146],"sequence":[55],"demon-strations.":[57],"The":[58,172],"current":[59],"work":[60],"proposes":[61],"use":[63],"experiment":[65],"design":[66],"choose":[68],"perform":[73],"these":[74],"demonstrations.":[75],"This":[76],"reduces":[77,124],"number":[79],"needed":[82],"unknown":[86],"ground":[87],"truth":[88],"low":[91],"error.":[92],"A":[93,140],"novel":[94],"computationally":[95],"efficient":[96],"strategy":[97],"is":[98,176],"proposed":[99,158],"generate":[101],"informative":[102,129],"by":[104],"using":[105],"an":[106,136],"optimal":[107,137],"planner":[108],"as":[109],"model":[111],"demonstrator.":[114],"Instead":[115],"evaluating":[117],"all":[118],"possible":[119],"environments,":[120],"search":[122],"space":[123],"placement":[127],"orderings":[130],"likely":[132],"eventual":[133],"goals":[134],"along":[135],"planner's":[138],"solution.":[139],"study":[142,174],"600":[144],"20":[147],"participants":[148],"4":[150],"on":[152],"2D":[154],"interface":[155],"validates":[156],"hypothesis":[159],"empirical":[161],"performance":[162],"benefit":[163],"terms":[165],"convergence":[167],"error":[169],"over":[170],"baselines.":[171],"dataset":[175],"also":[177],"publicly":[178],"shared.":[179]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}
