{"id":"https://openalex.org/W2963562508","doi":"https://doi.org/10.1007/978-3-319-96145-3_38","title":"Safety-Aware Apprenticeship Learning","display_name":"Safety-Aware Apprenticeship Learning","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2963562508","doi":"https://doi.org/10.1007/978-3-319-96145-3_38","mag":"2963562508"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-96145-3_38","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-96145-3_38","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-96145-3_38.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-96145-3_38.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055003391","display_name":"Weichao Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Weichao Zhou","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Boston University, Boston, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Boston University, Boston, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100381719","display_name":"Wenchao Li","orcid":"https://orcid.org/0000-0001-8926-5539"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wenchao Li","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Boston University, Boston, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Boston University, Boston, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":2.0373,"has_fulltext":true,"cited_by_count":29,"citation_normalized_percentile":{"value":0.90928476,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"662","last_page":"680"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9994000196456909,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9994000196456909,"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/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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9961000084877014,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7944709062576294},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.7334451079368591},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7292720079421997},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.6323493123054504},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.5557076930999756},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5218937993049622},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5009450912475586},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.47250115871429443},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4559011161327362},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.45479467511177063},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.37070250511169434},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3651283383369446},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.18214476108551025},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1559416651725769},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09536030888557434}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7944709062576294},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.7334451079368591},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7292720079421997},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.6323493123054504},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.5557076930999756},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5218937993049622},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5009450912475586},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.47250115871429443},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4559011161327362},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.45479467511177063},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.37070250511169434},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3651283383369446},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.18214476108551025},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1559416651725769},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09536030888557434},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-96145-3_38","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-96145-3_38","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-96145-3_38.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-319-96145-3_38","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-96145-3_38","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-96145-3_38.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6600000262260437,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5555323787","display_name":null,"funder_award_id":"FA8750-16-C-0043","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G6925013611","display_name":"CPS: Breakthrough: Collaborative Research: A Framework for Extensibility-Driven Design of Cyber-Physical Systems","funder_award_id":"1646497","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8677814625","display_name":null,"funder_award_id":"CCF-1646497","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/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2963562508.pdf","grobid_xml":"https://content.openalex.org/works/W2963562508.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W117911312","https://openalex.org/W132969391","https://openalex.org/W258469679","https://openalex.org/W1541407177","https://openalex.org/W1589930276","https://openalex.org/W1999874108","https://openalex.org/W2005998857","https://openalex.org/W2036566088","https://openalex.org/W2047217912","https://openalex.org/W2061562262","https://openalex.org/W2076337359","https://openalex.org/W2098774185","https://openalex.org/W2127192854","https://openalex.org/W2134991157","https://openalex.org/W2149236697","https://openalex.org/W2169498096","https://openalex.org/W2222789563","https://openalex.org/W2287850282","https://openalex.org/W2462906003","https://openalex.org/W2614443173","https://openalex.org/W2751422670","https://openalex.org/W2771041648","https://openalex.org/W2953302092","https://openalex.org/W2963175324","https://openalex.org/W2963575966","https://openalex.org/W3008793775"],"related_works":["https://openalex.org/W2349952486","https://openalex.org/W1489260687","https://openalex.org/W3204670144","https://openalex.org/W1754956050","https://openalex.org/W187740018","https://openalex.org/W2162286586","https://openalex.org/W4255368532","https://openalex.org/W2734341768","https://openalex.org/W4288364044","https://openalex.org/W2940996152"],"abstract_inverted_index":{"Apprenticeship":[0],"learning":[1,25,60],"(AL)":[2],"is":[3,21,71,88,134],"a":[4,16,33,64,75,79,105],"kind":[5],"of":[6,15,48,78,81,116,124],"Learning":[7],"from":[8],"Demonstration":[9],"techniques":[10],"where":[11,66,132],"the":[12,24,28,46,67,85,117,122],"reward":[13,69],"function":[14,70],"Markov":[17],"Decision":[18],"Process":[19],"(MDP)":[20],"unknown":[22,68],"to":[23,31,50,73],"agent":[26,29],"and":[27,84],"has":[30],"derive":[32],"good":[34],"policy":[35],"by":[36],"observing":[37],"an":[38],"expert\u2019s":[39],"demonstrations.":[40],"In":[41],"this":[42],"paper,":[43],"we":[44,103],"study":[45],"problem":[47],"how":[49],"make":[51],"AL":[52,130],"algorithms":[53],"inherently":[54],"safe":[55],"while":[56,113],"still":[57],"meeting":[58],"its":[59],"objective.":[61],"We":[62,120],"consider":[63],"setting":[65],"assumed":[72],"be":[74],"linear":[76],"combination":[77],"set":[80],"state":[82],"features,":[83],"safety":[86,112,133],"property":[87],"specified":[89],"in":[90],"Probabilistic":[91],"Computation":[92],"Tree":[93],"Logic":[94],"(PCTL).":[95],"By":[96],"embedding":[97],"probabilistic":[98],"model":[99],"checking":[100],"inside":[101],"AL,":[102],"propose":[104],"novel":[106],"counterexample-guided":[107],"approach":[108,126],"that":[109],"can":[110],"ensure":[111],"retaining":[114],"performance":[115],"learnt":[118],"policy.":[119],"demonstrate":[121],"effectiveness":[123],"our":[125],"on":[127],"several":[128],"challenging":[129],"scenarios":[131],"essential.":[135]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}