{"id":"https://openalex.org/W4383108795","doi":"https://doi.org/10.1109/icra48891.2023.10161312","title":"Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation","display_name":"Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation","publication_year":2023,"publication_date":"2023-05-29","ids":{"openalex":"https://openalex.org/W4383108795","doi":"https://doi.org/10.1109/icra48891.2023.10161312"},"language":"en","primary_location":{"id":"doi:10.1109/icra48891.2023.10161312","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra48891.2023.10161312","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":"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/A5005034849","display_name":"Luca Marzari","orcid":"https://orcid.org/0000-0002-0069-0182"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Luca Marzari","raw_affiliation_strings":["University of Verona,Department of Computer Science,Italy","Department of Computer Science, University of Verona, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058298540","display_name":"Enrico Marchesini","orcid":"https://orcid.org/0000-0003-1858-7279"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Enrico Marchesini","raw_affiliation_strings":["Khoury College of Computer Sciences, Northeastern University,US","Khoury College of Computer Sciences, Northeastern University, US"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Khoury College of Computer Sciences, Northeastern University,US","institution_ids":["https://openalex.org/I12912129"]},{"raw_affiliation_string":"Khoury College of Computer Sciences, Northeastern University, US","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045922629","display_name":"Alessandro Farinelli","orcid":"https://orcid.org/0000-0002-2592-5814"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Farinelli","raw_affiliation_strings":["University of Verona,Department of Computer Science,Italy","Department of Computer Science, University of Verona, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5005034849"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":1.6878,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.87148684,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"7133","last_page":"7139"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","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/T11689","display_name":"Adversarial Robustness in Machine Learning","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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9951000213623047,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.9908000230789185,"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/reinforcement-learning","display_name":"Reinforcement learning","score":0.8260442018508911},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.73324054479599},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.6931201219558716},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6219459772109985},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6218770742416382},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4912561774253845},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.45625290274620056},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.13687914609909058},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11534988880157471}],"concepts":[{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.8260442018508911},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.73324054479599},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.6931201219558716},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6219459772109985},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6218770742416382},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4912561774253845},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.45625290274620056},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.13687914609909058},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11534988880157471},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icra48891.2023.10161312","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra48891.2023.10161312","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":[{"score":0.49000000953674316,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W111814201","https://openalex.org/W398859631","https://openalex.org/W1518931405","https://openalex.org/W1673923490","https://openalex.org/W1777239053","https://openalex.org/W1845972764","https://openalex.org/W2525579820","https://openalex.org/W2594877703","https://openalex.org/W2736601468","https://openalex.org/W2745560456","https://openalex.org/W2747213132","https://openalex.org/W2804791273","https://openalex.org/W2963019567","https://openalex.org/W2963411833","https://openalex.org/W2998619042","https://openalex.org/W3089695338","https://openalex.org/W3126384422","https://openalex.org/W3189576409","https://openalex.org/W3198013102","https://openalex.org/W4200294561","https://openalex.org/W4200342431","https://openalex.org/W4205950066","https://openalex.org/W4226429284","https://openalex.org/W4283793632","https://openalex.org/W4285102394","https://openalex.org/W4285805523","https://openalex.org/W4366723927","https://openalex.org/W4385767377","https://openalex.org/W6637162671","https://openalex.org/W6638088447","https://openalex.org/W6639175102","https://openalex.org/W6741002519","https://openalex.org/W6751725685","https://openalex.org/W6780587392","https://openalex.org/W6788085919","https://openalex.org/W6798969013","https://openalex.org/W6800776581","https://openalex.org/W6811215915","https://openalex.org/W6849046288","https://openalex.org/W6849907714"],"related_works":["https://openalex.org/W4306904969","https://openalex.org/W2138720691","https://openalex.org/W4362501864","https://openalex.org/W4380318855","https://openalex.org/W2031695474","https://openalex.org/W2024136090","https://openalex.org/W2586732548","https://openalex.org/W3049728571","https://openalex.org/W2964765435","https://openalex.org/W4391331176"],"abstract_inverted_index":{"Safety":[0],"is":[1],"essential":[2],"for":[3],"deploying":[4],"Deep":[5],"Reinforcement":[6],"Learning":[7],"(DRL)":[8],"algorithms":[9],"in":[10,48,127],"real-world":[11],"scenarios.":[12],"Recently,":[13],"verification":[14],"approaches":[15],"have":[16],"been":[17],"proposed":[18],"to":[19,66,77,84,94],"allow":[20],"quantifying":[21],"the":[22,57,105,109,118,136],"number":[23,110],"of":[24,26,61,107,111],"violations":[25,112,147],"a":[27,74,91],"DRL":[28,151],"policy":[29],"over":[30,148],"input-output":[31],"relationships,":[32],"called":[33],"properties.":[34,87],"However,":[35],"such":[36],"properties":[37,68,96,116],"are":[38],"hard-coded":[39,115],"and":[40,59,81,117,133,145],"require":[41],"task-level":[42],"knowledge,":[43],"making":[44],"their":[45],"application":[46],"intractable":[47],"challenging":[49],"safety-critical":[50],"tasks.":[51],"To":[52],"this":[53],"end,":[54],"we":[55,89],"introduce":[56],"Collection":[58],"Refinement":[60],"Online":[62],"Properties":[63],"(CROP)":[64],"framework":[65],"design":[67],"at":[69],"training":[70],"time.":[71],"CROP":[72,141],"employs":[73],"cost":[75],"signal":[76],"identify":[78],"unsafe":[79,100],"interactions":[80],"use":[82],"them":[83],"shape":[85],"safety":[86],"Hence,":[88],"propose":[90],"refinement":[92],"strategy":[93],"combine":[95],"that":[97,135],"model":[98],"similar":[99],"interactions.":[101],"Our":[102],"evaluation":[103],"compares":[104],"benefits":[106],"computing":[108],"using":[113],"standard":[114],"ones":[119],"generated":[120],"with":[121,140],"CROP.":[122],"We":[123],"evaluate":[124],"our":[125],"approach":[126],"several":[128],"robotic":[129],"mapless":[130],"navigation":[131],"tasks":[132],"demonstrate":[134],"violation":[137],"metric":[138],"computed":[139],"allows":[142],"higher":[143],"returns":[144],"lower":[146],"previous":[149],"Safe":[150],"approaches.":[152]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}