{"id":"https://openalex.org/W4200356137","doi":"https://doi.org/10.1109/iros51168.2021.9636712","title":"Probabilistic Specification Learning for Planning with Safety Constraints","display_name":"Probabilistic Specification Learning for Planning with Safety Constraints","publication_year":2021,"publication_date":"2021-09-27","ids":{"openalex":"https://openalex.org/W4200356137","doi":"https://doi.org/10.1109/iros51168.2021.9636712"},"language":"en","primary_location":{"id":"doi:10.1109/iros51168.2021.9636712","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros51168.2021.9636712","pdf_url":null,"source":{"id":"https://openalex.org/S4363607734","display_name":"2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","raw_type":"proceedings-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/A5065508982","display_name":"Kandai Watanabe","orcid":"https://orcid.org/0000-0002-1460-648X"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kandai Watanabe","raw_affiliation_strings":["University of Colorado Boulder, Boulder, Colorado"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder, Boulder, Colorado","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038062663","display_name":"Nicholas Renninger","orcid":null},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nicholas Renninger","raw_affiliation_strings":["MITRE Corporation"],"affiliations":[{"raw_affiliation_string":"MITRE Corporation","institution_ids":["https://openalex.org/I44896327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103106502","display_name":"Sriram Sankaranarayanan","orcid":"https://orcid.org/0000-0001-7315-4340"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sriram Sankaranarayanan","raw_affiliation_strings":["University of Colorado Boulder, Boulder, Colorado"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder, Boulder, Colorado","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069564559","display_name":"Morteza Lahijanian","orcid":"https://orcid.org/0000-0001-7549-4365"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Morteza Lahijanian","raw_affiliation_strings":["University of Colorado Boulder, Boulder, Colorado"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder, Boulder, Colorado","institution_ids":["https://openalex.org/I188538660"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5065508982"],"corresponding_institution_ids":["https://openalex.org/I188538660"],"apc_list":null,"apc_paid":null,"fwci":0.3092,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.38529412,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"6558","last_page":"6565"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9973999857902527,"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.7449429035186768},{"id":"https://openalex.org/keywords/learning-automata","display_name":"Learning automata","score":0.6632106900215149},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.643248975276947},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5984650254249573},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5410756468772888},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4942505657672882},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.47654658555984497},{"id":"https://openalex.org/keywords/novelty","display_name":"Novelty","score":0.46614280343055725},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4137611985206604},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3957614004611969},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.37910157442092896}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7449429035186768},{"id":"https://openalex.org/C2776807809","wikidata":"https://www.wikidata.org/wiki/Q6510160","display_name":"Learning automata","level":3,"score":0.6632106900215149},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.643248975276947},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5984650254249573},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5410756468772888},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4942505657672882},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.47654658555984497},{"id":"https://openalex.org/C2778738651","wikidata":"https://www.wikidata.org/wiki/Q16546687","display_name":"Novelty","level":2,"score":0.46614280343055725},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4137611985206604},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3957614004611969},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.37910157442092896},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iros51168.2021.9636712","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros51168.2021.9636712","pdf_url":null,"source":{"id":"https://openalex.org/S4363607734","display_name":"2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320909","display_name":"Keio University","ror":"https://ror.org/02kn6nx58"},{"id":"https://openalex.org/F4320332538","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W41554520","https://openalex.org/W130216483","https://openalex.org/W1498432697","https://openalex.org/W1540883472","https://openalex.org/W1563854815","https://openalex.org/W1591675293","https://openalex.org/W1700264732","https://openalex.org/W1929981607","https://openalex.org/W2098774185","https://openalex.org/W2140801763","https://openalex.org/W2158749632","https://openalex.org/W2163941698","https://openalex.org/W2567705466","https://openalex.org/W2604382266","https://openalex.org/W2616554232","https://openalex.org/W2752563773","https://openalex.org/W2766807698","https://openalex.org/W2784743256","https://openalex.org/W2807270760","https://openalex.org/W2887933419","https://openalex.org/W2889713213","https://openalex.org/W2906634895","https://openalex.org/W2966183138","https://openalex.org/W2966537673","https://openalex.org/W2994446013","https://openalex.org/W2995074243","https://openalex.org/W4241372395","https://openalex.org/W4294578500","https://openalex.org/W6635261211","https://openalex.org/W6640443443","https://openalex.org/W6674884181","https://openalex.org/W6680971464","https://openalex.org/W6754526278"],"related_works":["https://openalex.org/W2381242807","https://openalex.org/W3126131230","https://openalex.org/W2163814182","https://openalex.org/W2489338148","https://openalex.org/W2124961391","https://openalex.org/W576785828","https://openalex.org/W4388511637","https://openalex.org/W2074131991","https://openalex.org/W345505079","https://openalex.org/W2733919410"],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"a":[3,32,59,104,129,174,181],"framework":[4],"for":[5,180],"learning":[6,50,56,94,124],"task":[7],"specifications":[8,16,27],"from":[9,45,169],"demonstrations,":[10],"while":[11,162],"ensuring":[12],"that":[13,41,98,132,152],"the":[14,37,49,54,73,77,89,93,99,110,134,140,147,156,170],"learned":[15],"do":[17],"not":[18],"violate":[19],"safety":[20,90,106],"constraints.":[21],"Furthermore,":[22],"we":[23,127],"show":[24,151],"how":[25],"these":[26],"can":[28,42,113,177],"be":[29,43,115,178],"used":[30],"in":[31,83,117],"planning":[33,130],"problem":[34,57],"to":[35,66,87],"control":[36],"robot":[38],"under":[39],"environments":[40,187],"different":[44,184],"those":[46],"encountered":[47],"during":[48,92],"phase.":[51],"We":[52,96],"formulate":[53],"specification":[55,166],"as":[58],"grammatical":[60],"inference":[61],"problem,":[62],"using":[63],"probabilistic":[64],"automata":[65,75],"represent":[67,76],"specifications.":[68],"The":[69,80],"edge":[70],"probabilities":[71],"of":[72,142,146,183],"resulting":[74,100],"demonstrator's":[78],"preferences.":[79],"main":[81],"novelty":[82],"our":[84,153],"approach":[85],"is":[86,167],"incorporate":[88],"property":[91],"process.":[95],"prove":[97],"automaton":[101,123],"always":[102],"respects":[103],"pre-specified":[105],"property,":[107],"and":[108,186,192],"furthermore,":[109],"proposed":[111],"method":[112],"easily":[114],"included":[116],"any":[118],"Evidence-Driven":[119],"State":[120],"Merging":[121],"(EDSM)-based":[122],"scheme.":[125],"Finally,":[126],"introduce":[128],"algorithm":[131,154],"produces":[133],"most":[135,160],"desirable":[136],"plan":[137,176],"by":[138],"maximizing":[139],"probability":[141,158],"an":[143],"accepting":[144],"trace":[145],"automaton.":[148],"Case":[149],"studies":[150],"learns":[155],"true":[157],"distribution":[159],"accurately":[161],"maintaining":[163],"safety.":[164],"Since,":[165],"detached":[168],"robot's":[171],"environment":[172],"model,":[173],"satisfying":[175],"synthesized":[179],"variety":[182],"robots":[185,191],"including":[188],"both":[189],"mobile":[190],"manipulators.":[193]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}